generated at
遅延評価
lazy evaluation






償却データ構造は書けるが、最悪時データ構造は書けない

関連
ちゃんと見てないが、遅延評価==最左最外簡約にはならないはず
最左最外簡約は遅延評価かもしれないが、逆は成り立たないはず
関連はしているとは思うけど


ghci(hs)
let x = 1 + 2 :: Int
こう書いた時点では、まだ x は評価されていない
式の定義時にThunkが作らえる
ghciの:sprintで確認できる
hs
> let x = 1 + 2 :: Int > :sprint x x = _ > x -- 一度使用する 3 > :sprint x -- 一度でも使用すると評価済みになる x = 3


メモカされるのか


関連

数記事書いている
もしかしたらちょっと違う文脈かも