*ocaml

Наша редакция рада ответить на просьбу господина @ulidtko, изложенную в http://amd63.psto.net/tsfgse#123 , нижеследующим куском кода: https://gist.github.com/gdsfh/7140f41aca...
Там в каментах я показал, во что экстрактится всё это безобразие. Как обычно, все пруф-термы стёрты, остались только ... more →

#tsiezf

2 comments

"
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 →

#tioeof

add comment

Опыт использования Coq на практике, или Как я сам себя отпетушил COQОКОКОКО < http://gds.livejournal.com/65879.html >

#thfgnh

1 comment

К нам сегодня заходил
Лиспомакроскобкофил,
Он межушным поролоном
Типизацию хулил.

#onzfeg

5 comments

"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]

#oesnhi

add comment

нашёл единственную годную для окамла ide (если можно так сказать): emacs + TypeRex ( http://www.typerex.org/ )
осталось подрочить козе комплит/автокомплит, чисто по приколу.

#oinhgt

4 comments

(кто читал это в чятике, дальше не читайте.)
в качестве отдыха решил изобразить на окамле весьма тупую "топологическую сортировку", бесстыдно эксплуатирующую ленивый порядок вычислений.
исходник: http://paste.in.ua/3901/
почему решил показать — потому что многие люди не уверены, что на окамле подобное возможно ... more →

#oiegoe

2 comments

задвинул про исключения в http://metaclass.livejournal.com/665648.... и немедленно запилил в интерфейс кадастра пару функций, кидающих исключения. Обожаю взаимоисключающие параграфы.
Но хоть с суффиксом "_exn" запилил. "_opt"-альтернативы допилятся по нужде.

#oiiegn

add comment

если внимательно прислушаться, то можно услышать, как медленно, но неотвратимо работает мантис: http://caml.inria.fr/mantis/view.php?id=... . надо же, и восьми месяцев не прошло.

#oiifgo

8 comments