to2yの日記

 | 

2006-07-09「ふつける」勉強会5章レジュメ

遅延評価とは

haskellの評価過程は項置き換えモデルで表現できる。

square (1 + 3)
-> (1 + 3) * (1 + 3)
-> 4 * 4
-> 16

haskellの評価方法

最外簡約:一番外側の項の簡約規則を適用

グラフ簡約:同じように表示された項は一度だけ簡約

※参照透明性が確保されているから可能?

 |