"Разработчики TLS-имплементации на языке OCaml объявили конкурс BTC Piñata" http://habrahabr.ru/post/250339/ // сорь за пиар хабраши
УНЯНЯ. У нас есть немножечко инфы
об этом пользователе. Мы знаем, что он понаписал,
порекомендовал и даже и то и другое сразу.
А ещё у нас есть RSS.
MLSSH (реализация ssh клиента и сервера) на окамле: http://dmzlj.livejournal.com/185158.html (с использованием пары dsl, насколько я понял).
Что удивительно -- никаких упоминаний по существу гуглом не ищется, и всего ~ 2k упоминаний этого слова. Ещё удивительнее -- "Возможно, вы имели в виду: VK".
Включаем паранойю!
https://bitbucket.org/gds/ocaml_incrcomp/src/tip/lib/incrcomp.mli
Суть токова: меня достало то, что нужно уметь простые типа-ленивые вычисления, но с умным перевычислением, если что изменилось, но при взгляде на frp / react как-то всё падает.
Я кое-кому говорил, что уложусь в 10 строчек велосипеда -- так вот, ошибся, но потому, что хотел сделать относительно общо. Получилось вроде миленько, однако, прошу, покритикуйте идею, апи, инглиш, да и всё вообще. Моё ниасиляторство react'а, например, тоже можно.
Таки дошли руки до симуляции перегрызенного кабеля (спрашивал в #TP2TNF).
Хорошо иногда бывает параметризовать код IO-манаткой. Получилось так: https://gist.github.com/gdsfh/c0aa2733a6d09b49f894 . Работает замечательно. Благодаря fail_seed можно получать детерминированные фейлы, что помогает при отладке.
А отладка заключалась в том, что Lwt.join как-то странно себя ведёт. В документации сказано "падает, если какой-то из тредов падает", тогда как в реальном случае висит: http://pastebin.com/scLnbQ2A . Вотзефак?
Цоперайт © 2010-2016 @stiletto.