Кому занести соточку чтобы в ghci появился vi mode?

Из-за неосторожных манипуляций со списками мюслекалькулятор считал полную массу дневного рациона при заданных энергозатратах на ~40% большей необходимой. Переписал всё на списках фиксированной длины на зависимых типах, пару раз обосравшись по дороге; теперь думаю обмазаться idris ._.

Попытался разобраться с тем что такое монада 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 классный.

16:20:34]<L29Ah> :: (Enum a, Num a) => Vector a ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S ('S 'Z)))))))))))))))))))) как записывать такие типы на человечьем языке? 16:26:27]<ndtimofeev> Никак? 16:27:26]<L29Ah> НО КАК ЖЕ ТАК 16:27:55]<L29Ah> как хотя бы попросить ghci в одну строчку этот боилерплейт сложить? 16:28:11]<ndtimofeev> Никак? 16:29:23]<ndtimofeev> Можно использовать TypeLit, но для того чтобы понять почему они тут не будут работать тебе потребуется Александр Вершилов, а он в gitter'е или как оно там. 16:29:53]<L29Ah> и хули делать? 16:30:05]<ndtimofeev> Страдать.

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

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

Хацкель это такая вундервафля для расчесывания ЧСВ зигохистоморфными препроморфизмами. Причем не обязательно сам хахацкель знать, достаточно нахвататься терминов и можно с умным видом копипастить бредятину и считаться крутым хахацкером и гуру матана. Конечно есть полторы конторы в мире, которые реально применяют весь этот матан, но для бнвшной школоты это немножко другая галактика. Простые смертные смогли на хачкеле слабать только убогонький тормозной недоwm, тянущий гигабайт зависимостей. Вот и вся история успеха.

В ввиду высокой вероятности гибели близких родственников при использование 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 всё просто и понятно.

хмм, как бы красиво сделать ленивый лог такая спископодобная структура, в которую можно добавить элемент в конец, из которой можно прочесть любые элементы, и которая блокирует читателя если элемента ещё не существует и всё это в STM

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

На бнв ты type theory scientist, а на работе пишешь опердни

How to complain about Go https://medium.com/@divan/how-to-complain-about-go-349013e06d24 > If you come from Haskell, I shouldn’t give you any advice. You already must be a professional in mocking Go. It’s in Haskell 101 course. New Haskell books contain special chapter “How to laugh on Go”, after all. > Even if you intuitively understand that Go is way more practical than Haskell and entry barrier really matters  —  keep insisting that it has “objectively poor design”. Because everyone knows which language has objectively good design.