ndtimofeev.github.io — Пытаюсь прикостылять MonadCatch и MonadMask к Managed. Пока докостылялся до этого.
gist.github.com — я здесь где-то злостно нарушаю монадические законы?
Астрологи объявили месяц этого самого.
hackage.haskell.org — а есть такой только с перламутровыми пуговицами? Во-первых я не уверен что мне нужен дамп вычисления на диске. Достаточно вообще говоря словить в ghci UserInterrupt и потом восстановится из какой-нибудь переменной. Во-вторых ну должны быть какие-то более общие решения задачи возврата к исполнению после фейла. В-третьих этот пакет выглядит немного наркоманским…
Любой «туториал по монадам» есть официальный кандминимум на высокое звание хаскелиста-нуба. Типо как сертификат уровня A1 по языкам. Даже еще меньше, ибо обладатель A1 может вполне нихуёво так общаться, а вот автор туториала по монадам не может вообще нихуя. НИ-ХУ-Я!
Раскрытие «ошибок» туториалов по монадам в очередном туториале по монадам, это как бы сказать... В общем, единственная «ошибка» исключительно в том что оба аффтора не удосужились промахнуться мимо кнопки Post, что весьма печально.
И да, чтоб два раза не вставать: практически всё что написано по хаскелю десяток лет назад — жуткий наивняк. Даже слёзы наворачиваются от умиления, когда читаешь. Исключение, конечно же, составляют «инфраструктурные» научные статьи, но а) не всё реализовано так как там написано; б) уже несколько раз перекроено/расширено, т.е. оно исключительно для тонких ценителей. Даже далеко не все 5-летние заметки/блогпосты можно читать, а уж старше 10-лет... Можно не читать по-умолчанию. «Несколько лет», в мире хаскеля, это много. Имейте и это, блять, в виду прежде чем своими кавалерийскими наскоками [вырезано цензурой].
#1954577. Ничего не изменилось. Правда с Iteratee и LogicT я разобрался, но теперь я не понимаю monad-free, monad-unify и monad-dijkstra.
Случайно наткнулся на
hackage.haskell.org штука. Что характерна, к обоим приложено по статье, но я всё равно их не понимаю.
Для того чтобы мир продолжал существовать, я традиционно должен не понимать какую-нибудь монаду. Раньше это была монада IO, затем Reader и Writer, а теперь Iteratee и вот эта
gist.github.com — есть вот такая State-подобная монада. Я правильно понимаю, что растащить её на StateT и что-то там не удастся?
#1740132 и распонял монаду IO.
Прочитал