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

[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

[nponeccop.livejournal.com]

lazy, в который передается наш фан, будет реализовывать однократность, всё в порядке.

А второй компонент call by need - sharing - сам окамл делает безо всяких усилий с нашей стороны.

[thedeemon.livejournal.com]

Вот и я сперва подумал, что тут ключевое слово, и решил, что опечатка.

[nponeccop.livejournal.com]

А причем тут ключевое слово?

[thedeemon.livejournal.com]

Там lazy - его собственная ф-я, не окамловская родная.

[nponeccop.livejournal.com]

Ну так его функция прекрасно сможет заимплементить санк, получив () -> a на вход.

[thedeemon.livejournal.com]

Ага. Просто сперва не было ясно, что там именно своя реализация. Ибо не со своей и fun _ -> не надо.

[migmit.livejournal.com]

thedeemon увидел слово lazy и, так как оно совпадает с имеющимся ключевым словом, решил, что я написал его там по ошибке.