私はSchemeで実装されたthe article of Dan Friedman about monadic evaluationを数回読みましたが、State monadのサブチャプターの終わりからエクササイズに悩まされています。 この記事は非常にはっきりしていますが、最小限の理論で深い理解を得ていますが、この演習は実際にはあいまいです。私はいくつかの重要な面を欠場することが恐れており、これが
私はスキームインタープリタを書くときにthis guideに従っています。左要因にDottedList /リストのための文法を試して、私はこの思い付いた: E -> (H T)
H -> E H'
H' -> <space> H
H' -> <term>
T -> <term>
T -> <space> . <space> E
- spaces :: Parser()
spaces