- 関数型プログラミング言語Haskell Part26
67 ：デフォルトの名無しさん[]：2014/08/18(月) 18:14:25.07 ID:2pXqpQB0 - 再帰は、停止しない計算を簡単に作ることができる。
fold f xs が停止しないのは、xsが
長いか、あるいはfが停止しない場合に限られる。
unfold f z が停止しないのは、fがNothingを返さない場合に限られる。
再帰は、遅い計算を容易に作ることができる。
チューニングする際には、末尾再帰になるように気をつけなくてはいけない。
fold/unfoldで作れば、融合変換が使える。分かりやすく、自動化も容易。
...というのが、今のところの自分の理解です。
|