06/06/30 23:59:14
>>236のミソは
ループや分岐に相当する(IO x)は無いってこと。
なぜそれでこまらないのかというと、
フィボナッチ数列のときに
ある要素を決定するのにそれより前の要素の値を利用したように
条件分岐で次の処理として(IO y)を繋げようか(IO z)を繋げようか決めるのに
それより前の(IO x)の値をみて決める事ができるから。
あるいはそこで打ち切ってプログラムを終了してもいい。
つまり、Haskellで副作用のあるプログラムを書くってことは
フィボナッチ数列を定義するように
コマンド列を定義しているようなもの