gds
07.01.2013 18:54
"
This reminds me of a funny event at the Haskell workshop 2006. One participant stood up and sincerely proposed that Haskell' standard would find a way to automatically derive a monadic version of a pure expression. Chung-chieh Shan recommended that person to take a look at OCaml...
"
(уже второй раз лезу за этой ... more →
gds
29.05.2012 19:28
К нам сегодня заходил
Лиспомакроскобкофил,
Он межушным поролоном
Типизацию хулил.
gds
18.04.2012 17:29
"After a few years trying to follow this list, I start to have an idea of what it means when J. Garrigue says that something is difficult :)" [caml-list]
gds
27.02.2012 13:03
нашёл единственную годную для окамла ide (если можно так сказать): emacs + TypeRex ( http://www.typerex.org/ )
осталось подрочить козе комплит/автокомплит, чисто по приколу.
gds
21.02.2012 21:42
(кто читал это в чятике, дальше не читайте.)
в качестве отдыха решил изобразить на окамле весьма тупую "топологическую сортировку", бесстыдно эксплуатирующую ленивый порядок вычислений.
исходник: http://paste.in.ua/3901/
почему решил показать — потому что многие люди не уверены, что на окамле подобное возможно ... more →
gds
15.02.2012 12:49
задвинул про исключения в http://metaclass.livejournal.com/665648.... и немедленно запилил в интерфейс кадастра пару функций, кидающих исключения. Обожаю взаимоисключающие параграфы.
Но хоть с суффиксом "_exn" запилил. "_opt"-альтернативы допилятся по нужде.