http://www.yesodweb.com/blog/2016/03/why-i-prefer-typeclass-based-libraries — Снойман говорит правильные и очевидные вещи. Что это значит? Что сейчас он выкатит на свет божий что-то очень сложное и оверинженернутое.

> Changelog for cryptonite-0.13 > SECURITY Fix buffer overflow issue in SHA384, copying 16 extra bytes from the SHA512 context to the destination memory pointer leading to memory corruption, segfault.

> GHC 7.10.1 takes over 30% longer than 7.8.3 with this simple example, with the program size peaking at 10000 terms during specialization, as opposed to 7.8 which never goes above 400 terms.

http://www.haskellforall.com/2016/02/auto-generate-command-line-interface.html — Я люблю тебя, Габриэль! Ты понимаешь что мне нужно. Не то что Кметт или Снойман. // По ссылке охренительнейшая библиотека для разбора аргументов командной строки, в которой парсер строится как тип значения которое получается в ходе разбора. Есть недостатки (отсутствие описания опций, отсутствие дополнительный ключей), но я уже сейчас представляю как их можно поправить. Ну и эта охренительнейшая альтернатива для ничего, то есть для ситуации когда вообще нет времени на разбор аргументов и пусть пока так.

Попытался разобраться с тем что такое монада Free. Столкнулся с двумя вещами: 1) На стековерфлоу отвечают в духе «суп это смесь еды и воды». 2) Скало-… э… А как они называются? Евангелисты Скалы используют в примерах Хаскель для простоты. Для простоты, Карл!

http://ndtimofeev.github.io/ru/posts/2016-01-26-l29ah.html — моему другу Серёже

http://www.stephendiehl.com/posts/monads_machine_code.html — Офигительно. Не ждал что там всё будет так сурово. Также раздел Contact Me классный.

λ> timeout 1000000 (uninterruptibleMask_ $ forever (threadDelay 1000000))

Задумался что в контексте monad remote имеет смысл специальный класс OnException с одноименным методом таким что для любых двух buffered команд справедливо: (cmd1 `onException` hnd1) <*> (cmd2 `onException` hnd2) == (cmd1 <*> cmd2) `onException` (hnd1 >> hnd2) Правда форкать exceptions так не хочется. Также никак не пойму кто кому суперкласс: OnException для MonadCatch или наоборот.

В ввиду высокой вероятности гибели близких родственников при использование deferred type holes, стал использовать вместо них let Just x = Nothing in x. Пока женщина брата из Питера не звонила. Правда из-за того что выражение нельзя вынести в функцию, надо бы его укоротить как-то.

Опять столкнулся с тем что GHC нагенерил мне кривой stg. Выключил fdefer-typed-holes (я их пытался использовать чтобы видеть положение в коде того не имплементированного участка на который нарвалась программа) и тут же получил целую кучу ошибок класса «Ты тут констрейнт забыл!». Причём ну никак не связанных с дырами. Короче не используйте defer-typed-holes, у меня от них сами понимаете что с братом случилось.

Вчера mcabber и libotr признали что я прошёл AKE. Признали бы ещё позавчера, но я облажался с сериализацией публичного ключа DSA. Осталось научиться зашифровывать/расшифровывать текст и управлять стейтом протокола не руками.

http://ruhaskell.org/posts/theory/2016/01/06/serialization-with-deptypes.html — Какие зависимые типы? Какие диаграммы? Вечно эти штангисты чего-то напридумывают. Вот https://github.com/off-the-record/libotr/blob/master/src/serial.h — на C всё просто и понятно.

https://github.com/kolmodin/binary/blob/master/src/Data/Binary/Class.hs#L294 — хотел тупо скопипастить roll и unroll из кода binary (поскольку они не экспортируются наружу), но вовремя заметил что свёртка там не в ту сторону. Я правильно понимаю что в итоге binary сериализует большие числа в порядке байт зависящим от величины конкретного числа: если оно укладывается в 32 бита то в big-endian, если нет — в little-endian?

Пересобираю блог на hakyll'е перед переписыванием, чтобы убедиться что со времени последних изменений api не изменилось фатально. Заодно пересобираю и весь сандбокс проекта. Ох и до фига же там всего, ну да и ладно. Вдруг взгляд мой заметил что-то необычное. Что-то пошло не так? Матрица меняет программу? Нет, это enumerator-0.4.20. Его не обновляли с 2013го года и не будут собственно уже никогда. При этом лог сборки разумеется забит всякими conduit'ами, которые строго говоря решают те же задачи что и enumerator. Стал смотреть кто же такой некрофил-виртуоз. Оказалось snap. При этом сам hakyll, который использует snap только как тестовый вебсервер (непонятно зачем нужный статическому сайту) разумеется на попсовых conduit'ах. Hackage, ты редкостная помойка. Пользуясь случаем выражаю респект JohnMillikin, который в 2013ом году написал код, который пережил все изменения в стандартной библиотеке.

http://habrahabr.ru/post/271213/ — я пропустил анонсы в более приличных местах или организаторы просто хотят чтобы я с @L29Ah'ом не приходили?

Тимофеев научившийся пользоваться комбинатором неподвижной точки чувствует себя как татарин научившийся выговаривать букву Р.

Попытался заюзать concurrent-output, чтобы облагородить вывод робота. Мне показалось или там очень странный хаскель? Что-то вроде давайте ехал IO через IO и если он ехал в правильном порядке, то может быть будет хорошо. У меня заправка ракеты головного мозга или там действительно всё как-то очень неявно?

https://www.linux.org.ru/forum/development/12058192 — довели человека своими AMP, FTP, MFP, MRP.