Мы не можем хранить десятичное число в бесконечной точности, но может быть какой-то способ представить их так же, как мы представляем бесконечные списки в haskell. Первая идея пришла ко мне, чтобы пре
С точки зрения содержательных резюме - this description of Comonads, похоже, побеждает - описывая их как «тип входной примеси». Что такое эквивалентное описание (одно предложение) для codata?
Представьте себе следующую функцию, чтобы дать бесконечную ленивую последовательность Фибоначчи в Clojure: (def fib-seq
(concat
[0 1]
((fn rfib [a b]
(lazy-cons (+ a b) (rfib b (+