Lierdakil

Кстати о терминах. Thunk таки есть каноничная версия? А то я русскоязычные книжки не очень читал.

Очередной глупый вопрос. Есть вот такой умеренно бесполезный тип data Peano = Z | S Peano data Vec (n :: Peano) a where VNil :: Vec 'Z a VCons :: a -> Vec n a -> Vec ('S n...

Коллеги, кто-нибудь использовал недавно GHCJS или Asterius? Насколько там всё плохо или хорошо? Снахрапу у меня не получилось, GHCJS в стеке deprecated, из никса его убрали по...

Окай. Кодирование Чёрча не функции?

Коллеги, приветствую. Тут идиотский вопрос. Читаю короткий вводный курс по Haskell. Думаю надо бы что-то рассказать про распространённые библиотеки. И тут у меня глаза разбега...