関数型プログラミング言語Haskell Part3

関数型プログラミング ..

261:デフォルトの名無しさん
04/10/16 19:06:52
>>257のreportを見る限り，どちらの方法でもIOモナドの外部仕様を満たせるんじゃない？

The >>= operation passes the result of the first operation as an argument to the second operation.

ということなので，f >>= gに対して，fの中で起こる副作用がgの中で起こる副作用より先に起こる
ようにするには，

(1) >>=は，左辺の引数についてstrict
(2) g（正確にはgの中での副作用の呼び出し）がstrict

のどちらでもよい（ように思える）．

次ページ