関数型プログラミング言語Haskell Part28 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0793デフォルトの名無しさん
2016/11/19(土) 09:41:28.84ID:leXZmGhTWorldState -> (a, WorldState)
という関数なわけ。do記法内部の各ステップは裏で
WorldState（＝評価環境）を変換しつつ次へ受け渡してる
隠蔽されてるがaの計算に影響を与える評価環境、これが文脈
■ このスレッドは過去ログ倉庫に格納されています