Ленивость в окамле

[migmit]

utop[0]> open Core.Std;;
utop[1]> let a = lazy (printf "A\n"; 0);;
val a : int lazy_t = <lazy>
utop[2]> let b (a : int) = lazy (printf "B\n"; 0);;
val b : int -> int lazy_t = <fun>
utop[3]> Lazy.force Lazy.(a >>= b);;
A
B
- : int = 0

Ну ё-моё...

Comments

[migmit.livejournal.com]

Понятно, что плохая. Просто я думал, что лишний кейворд введён не просто так.

[nponeccop.livejournal.com]

Под ленивостью call by need понимают очень редко. Такого добра, как, например, https://github.com/pkrumins/node-lazy (прекривейшей эмуляции стримов на эвент-эмиттерах) полно.

В этом плане в Википедии засилие учоных - см. http://nponeccop.livejournal.com/333219.html?thread=3079331#t3079331