• fp есть тут жуниор, который хочет применить себя в погромировании. Ему предлагают какое-то говноедство типа жабы, но мне больно смотреть на это. Есть чо нормальное? (функциональщина какая-то было бы ок. благо, учить её всего неделю до начала применения знаний в реальных проектах.) Удалёнка и относительно гибкий график нужны, понятное дело. То, что жуниор -- не страшно, я ему помогу, мозги у человека есть, желание развиваться есть. (а времени у него не очень много, пока он не может кормить себя погромированием. Но, если он вам понравится, и если предложите денежку, думаю, он согласится уйти с текущей работы, которая тоже говноедство то ещё.)

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 . Вотзефак?

Ебусь со всякой системщиной. Явно чего-то не хватает в императивном описании алгоритмов. Например:
1. указываем, что кое-какой процесс должен быть запущен на всех живых хостах из данного множества. Если хост из множества был дохлым, но потом ожил, то надо запустить процесс на нём тоже, когда он ожил.
2. спрашиваем что-то у процессов и ждём ответа, но, если хост умер (по независимым от нас причинам), и мы это знаем, то не надо ждать ответа. (таймауты тут сработали бы надёжно, но и без них часто ясно, что ответа не будет.)
Нужна какая-то декларативная шняга, что ли? Давайте идеи.

Я не понимаю, зачем нужен tcp/ip.

"То, что пессимисты называют "full table scan", оптимисты называют "Map-Reduce"" [lj\jakobz]

Подскажите пазязя, чем симулировать перегрызенный кабель в контексте tcp/ip-соединений? Просто потерю пакетов поставить через какой-нибудь "tc qdisc add dev lo root netem loss 70%" -- не вариант, соединение всё равно выживает, tcp же. Мне, по идее, нужно что-то такое: с определённого момента все send() в сокет проходят успешно, но ничего не отправляют (опционально, соединение отмирает по таймауту). Есть чо? Или мне не это нужно?

Я не понимаю людей. Прошёлся по барахолке, купил жене китайский тетрис (*). Такой счастливой не видел её лет пять уже. Збс.
(дальше только для нердов)
* -- стоит 2.24$, не совсем труЪ (девайс слегка меньше классических (светлосерых с жёлтыми кнопками), ну и dpi больше, что в данном случае, внезапно, хуже).

[..] мне доводилось писать код, но это было во времена моей далекой юности. [..] И работал программистом где-то до 2004 года [..] после 2004 года профессионально разработкой я уже не занимался.
я могу себя описать как «человек, написавший много книг по функциональному программированию и нескольким смежным темам»

"И всё у них так".

Я тут такое нашёл, животики надорвёте! https://github.com/django/django/pull/2692#svegaque