私は現在「自分で48時間以内にスキームを書く」と読んでいました。第2章では、シンボルを認識し、パーサーを呼び出すための関数 'readExpr'を定義するための単純なパーサー 'シンボル'私はいくつかのテストをしようとすると、 module Main where
import System.Environment
import Text.ParserCombinators.Parsec hi
私はスカラズを学んでいますが、今はIOモナドの点を理解しようとしています。私はIOモナドについてthis articleを読み、最も単純な例を自分で実行しようとしている： val io = println("test").pure[IO]
println("before")
io.unsafePerformIO()
予想通りはい、それは動作します。それは印刷する before
test
私はSchemeで実装されたthe article of Dan Friedman about monadic evaluationを数回読みましたが、State monadのサブチャプターの終わりからエクササイズに悩まされています。 この記事は非常にはっきりしていますが、最小限の理論で深い理解を得ていますが、この演習は実際にはあいまいです。私はいくつかの重要な面を欠場することが恐れており、これが
f = do
putStrLn "1"
putStrLn "2"
main = f
私が理解している通りにfは(putStrLn "1")>>=(\_ -> (putStrLn "2"))になります。ラムダ（モナドの持ち上げ）を適用している間に印刷操作が完了しましたか？誰かがどの段階でどの部分が評価され実行されるかを私に説明することはできますか？