遅延評価

Question

英語は話せません。

だと思います。それは評価され、 "abc"、 "efg"と印刷されます。

main = return (map putStrLn ["abc", "efg"]) >> return() 

しかし、私はそれをテストし、動作しません。

Answer 1

map putStrLn ["abc", "efg"] 

あなたが実行されていないタイプ[IO()]の値のリストを返します。その代わりに、の値を取得するには、リスト上でreturnを呼び出しています。

あなたはsequence_機能をIO a値のリストを実行することができます。return x >> yが原因にyと同じであり、任意のモナドで

main = mapM_ putStrLn ["abc", "efg"] 

Answer 2

：

main = sequence_ (map putStrLn ["abc", "efg"]) 

または速記mapM_を使用monad laws。

return x >> y 
= return x >>= \_ -> y -- definition of >> 
= (\_ -> y) x    -- left identity monad law 
= y      -- apply the lambda 

したがって、return (map putStrLn ["abc", "efg"]) >> return()は何も起こらない理由であるreturn()と同じです。レイジー評価はそれとは関係ありません。

最も簡単な修正は、もう1つの答えに示すように、mapM_を使用することです。