DigitableCourses
База знаний

Тема: Монады

5 материалов в этой теме.

Материалы

5 на странице
Статья

Функциональные паттерны: функторы, монады, линзы, комбинаторы

Как устроен второй словарь паттернов — функции как значения, функторы и монады с их законами, аппликативная валидация, парсер-комбинаторы и линзы — с рабочим кодом, …

#паттерны проектирования#функциональное программирование#монады
28 мин
Статья

Теория категорий в программировании: функторы, монады, F-алгебры, линзы

Как абстрактная чепуха превращается в рабочий инструмент: категория типов, законы функтора и монады, аппликативная валидация, катаморфизмы вместо ручной рекурсии и линзы …

#математика#теория категорий#функциональное программирование
23 мин
Статья

Обработка ошибок в ФП: Option, Either, Result, накопление ошибок

Почему исключения и null плохо масштабируются, как Option, Either и Result делают отказ частью типа, чем аппликативное накопление ошибок отличается от монадического …

#функциональное программирование#обработка ошибок#монады
21 мин
Статья

Монады без страха: что это на самом деле и зачем

Монада — не философия, а ответ на конкретную боль: как соединять функции, которые возвращают не значение, а значение в контейнере. Разбираем от лестницы if-ов до законов, …

#функциональное программирование#монады#композиция
18 мин
Статья

Карта функторов: иерархия абстракций ФП от полугруппы до комонады

Одна связная карта всех абстракций ФП: зачем нужна каждая ступень от Semigroup до Comonad, чем они отличаются по силе, как выбрать нужную под задачу и сколько всё это …

#функциональное программирование#функторы#монады
24 мин