関数型プログラミング言語Haskell Part15
■ このスレッドは過去ログ倉庫に格納されています
0454443
2011/08/21(日) 23:53:21.45x がグラフ簡約されて (3 + 1) は1回しか計算されない
でも、f x = g x + g x という関数の f (3 + 1) という適用だと、
たしかに x がグラフ簡約されて (3 + 1) は1回しか計算されないが、
g x つまり g 4 は記述通り2回計算される
g の引数 4 とその結果の値との対応関係がメモ化されないからだ
今回のは後者に相当する
■ このスレッドは過去ログ倉庫に格納されています