AI
для таких объяснений монад на пальцах слон самое оно
Size: a a a
2020 May 15
AI
есть еще заход с другой, более правильной стороны - через Клейсли, введение Холомьева и прочее подобное, но он пожестче
AV
Я там очень быстро свернул вольный пересказ самой первой статьи Moggi
AV
Но он полезен для того, чтобы понять чего хотели добиться и откуда слово Monad
AV
Для практики конечно не так полезно
AV
Но вступление и первые разделы там вполне читабельны
AV
Советую послушать ещё объяснение более индустриальных ребят, а то я тут совсем забил эфир
YS
Это кого?)
AI
Не надо индустриальных ребят (сорри).
AV
Александр тут писал краткое объяснение, например
AI
Погружение имхо надо начинать с таких вот простых примеров
AV
Интересно, насколько зайдёт одним из следующих примеров Async
AI
А то вспоминается книга Дениса "О Хаскель по-человечески", которая начинается с Линукса и прочей установки окружения
AV
Он функтор, даже не аппликатив
AV
Т.е. можно построить пример структуры и показать, как её большая сложность мешает реализовать требовательный интерфейс
AV
И потом ввести Concurrently, который уже Applicative и Alternative, но всё ещё не Monad
AV
Мне контр-примеры очень помогают в понимании
YS
Согласен, контрпримеры - это хорошо
AS
Интересно, насколько зайдёт одним из следующих примеров Async
если мне, то чуток попозже) пока мозг немного ломается от понимания синтаксиса и концепций одновременно)
AI
Саша просто вываливает много материала, потому что знает дофига ) А ты для начала слона освой )