Иномировой агент

Не так. Какого фига a вообще вычисляется? Оно для результата не нужно нафиг.

From:

d-ao.livejournal.com

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

a = do
print "A"
return 0

b x = do
print "B"
return 0

main = a >>= b

$ ./Proba01
"A"
"B"

From:

a = trace "A" 0 и далее аналогично.

From:

У b строгий аргумент же. Сам так описал.

From:

Так вот и получается, что везде надо руками описывать, что вычислять, а что нет. Такую "ленивость" я могу руками сделать, и новое ключевое слово не понадобится, только вместо lazy x надо будет писать lazy (fun _ -> x).

From:

Да, получается так.
Мне в окамле слово lazy за 5 лет лишь один раз пригодилось. Там, где в хаскеле используют ленивые списки, в окамле обычно хватает Enum'ов. В остальном просто стиль работы другой, энергичный. Потому особой нужды в ленивости и не чувствуется. Пытаться из окамла изобразить хаскель, делая все ленивым, - плохая затея.

Edited Date: 2013-08-13 04:12 pm (UTC)

From:

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

From:

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

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

From:

> (fun _ -> x).

Это call by name, не ленивость, тут будет многократное исполнение при многократном обращении.

From:

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

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

From:

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

From:

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

From:

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

From:

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

From:

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

From:

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

From:

Потому что цитировать надо полностью. У меня сейчас под рукой компилятора нет, а ssh-ить лень, но будет как-то так:

type 'a lazy_inside = Ready of 'a | Postponed of (() -> 'a)
type 'a lazy_t = 'a lazy_inside ref
lazy f = ref (Postponed f)
force r =
  match !r with
    | Ready x -> x
    | Postponed f -> let x = f () in r := Ready x; x
(>>=) r f = lazy (fun _ -> force (f (force x)))

From: