遅延評価

lazy evaluation

関連

ちゃんと見てないが、遅延評価==最左最外簡約にはならないはず

最左最外簡約は遅延評価かもしれないが、逆は成り立たないはず

関連はしているとは思うけど

code:ghci(hs)

let x = 1 + 2 :: Int

code:hs

let x = 1 + 2 :: Int

:sprint x

x = _

x -- 一度使用する

3

:sprint x -- 一度でも使用すると評価済みになる

x = 3

メモカされるのか

関連

数記事書いている

もしかしたらちょっと違う文脈かも