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

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

254:デフォルトの名無しさん
04/10/16 05:09:35
>>252
いったいどういう原理によって
>　まずputStr　"Hello　"がプログラムの実行に必要とされ、その後にputStr　"World"が必要とされるためであり、
こうなってると思ってるわけですか？　

mainや(>>)は関数じゃなくてなにかすごく賢い"評価器とは切り離された装置"
が何が必要かを見切って必要なところだけ評価するという立場？
それならそれでもいいですが…

私は、State(World)についてStrictなMonadだと思えば、
なぜ(>>)の左が先に必要になったのかが、説明できると書いたわけです。

次ページ

続きを表示

1を表示