Монады в программировании

1991 год: Phillip Wadler публикует «Monads for Functional Programming» - и Haskell получает способ делать I/O без побочных эффектов в чистом языке. До этого казалось невозможным: как читать файл в функциональной программе? Монада IO инкапсулирует «мир» как аргумент - и вдруг async/await, Optional chaining, Rust `?` оказываются одним и тем же паттерном.

• **async/await в JavaScript**: `await` - это монадический bind для Promise. `async function` возвращает Promise (поднятие в IO-монаду). `Promise.all` - аналог sequence для монады
• **Rust Result/Option**: оператор `?` - монадный bind. `Option::and_then` - клейсли-композиция. `Result::map_err` - функториальное отображение по ошибке
• **GraphQL resolvers**: каждый resolver - клейсли-морфизм в монаде (контекст + возможная ошибка). DataLoader - трансформер монады для батчинга запросов

Предварительные знания

• Monads in Category Theory

Maybe

Maybe (или Option) - простейшая и самая распространённая монада. Она моделирует **частичные вычисления**: функции, которые могут не вернуть результат. Вместо null-pointer exceptions или специальных кодов ошибок, Maybe делает возможность провала **явной в типе**. Цепочка Maybe-вычислений автоматически «замыкается на null» при первом провале.

**Монада Maybe**: T(A) = Just(A) | Nothing. Единица η_A: A → Maybe A - это Just. Умножение μ: Maybe(Maybe A) → Maybe A - разворачивает вложенность (Just(Just a) ↦ Just a, остальное ↦ Nothing). bind: `ma >>= f = case ma of Nothing → Nothing; Just a → f a`.

Maybe - это категорный объект. В Set: монада P(A) = A ∪ {⊥} с ⊥ как «специальным значением ошибки». В Haskell: `Maybe a = Nothing | Just a`. В Rust: `Option<T> = None | Some(T)`. В Swift: `Optional<T>`. Везде одна и та же монада - потому что это категорная конструкция, не зависящая от языка.

**Аксиомы монады** для Maybe: 1. left unit: `return a >>= f = f(a)` - Just a >>= f = f(a) ✓ 2. right unit: `ma >>= return = ma` - Just a >>= Just = Just a, Nothing >>= Just = Nothing ✓ 3. associativity: `(ma >>= f) >>= g = ma >>= (a => f(a) >>= g)` - оба пути через Nothing или Just дают одно ✓.

List

Монада List моделирует **недетерминированные вычисления**: вместо одного результата функция возвращает список возможных результатов. bind для List - это flatMap: применяем функцию к каждому элементу и объединяем результаты. Это мощный способ перебирать пространство вариантов.

**Монада List**: T(A) = [A] (список). Единица: a ↦ [a]. Умножение (join): [[a₁,...], [b₁,...], ...] ↦ [a₁,..., b₁,...] - конкатенация. bind: `xs >>= f = concatMap f xs = join(map f xs)`.

**Связь с алгеброй**: как мы видели в ct-08, T-алгебры монады List - это моноиды. Это не случайно: List - «монада свободного моноида». Категория Клейсли для List - это категория бинарных отношений (стрелка A →_List B - это подмножество A × B). Композиция клейсли-морфизмов = реляционная композиция.

Io

Монада IO - самая важная в Haskell: она разделяет «чистые» вычисления (без побочных эффектов) от «нечистых» (ввод/вывод, изменение состояния). IO a - это не значение типа A, а **описание действия**, которое при выполнении вернёт A. Монадная структура позволяет последовательно компоновать действия, не нарушая чистоту.

**Монада IO**: IO A - описание вычисления, производящего A с возможными побочными эффектами. return a создаёт действие, просто возвращающее a без эффектов. bind (>>=) последовательно компонует действия: результат первого передаётся второму. Функция main :: IO () - точка входа, «запускающая» всю цепочку.

**Категорная интерпретация**: IO - монада на Hask (категории Haskell-типов). T-алгебры для IO - это «реальный мир» как алгебра. Единица η: A → IO A поднимает чистые значения в IO. Умножение μ: IO(IO A) → IO A выполняет внешнее действие, получает IO A, затем выполняет внутреннее. Это последовательное выполнение.

**Аффинные монады**: IO в теории - монада «свободной алгебры состояний». Интерпретация: программа на IO - это дерево возможных взаимодействий. Фактически IO в Haskell - магия рантайма, но абстрактно правильная. Реальные альтернативы: Free IO, Tagless Final - представляют IO через F-алгебры явно.

Monad Transformers

На практике часто нужно комбинировать несколько эффектов: частичность + состояние + логирование + ввод/вывод. **Трансформеры монад** решают эту проблему: MaybeT m a - монада Maybe, «обёрнутая» вокруг произвольной монады m. Получается стек эффектов: MaybeT (StateT s IO) a - вычисление с состоянием, возможным провалом и IO.

**Трансформер монады** MaybeT: (m: Monad) → Monad определяется как MaybeT m a = m (Maybe a). Он «поднимает» Maybe-семантику в любую монаду m. Аналогично: StateT s m a = s → m (a, s), WriterT w m a = m (a, w), ReaderT r m a = r → m a.

**Альтернативы трансформерам**: в современном Haskell и других языках популярны **Tagless Final** и **Free Monads**. Tagless Final: эффекты описываются typeclass-ами, конкретная монада выбирается в последний момент. Free Monad: F-алгебра над «языком эффектов», интерпретируемая в произвольную монаду. Оба подхода - применение категорных идей (F-алгебры, начальные алгебры).

Ключевые идеи

• **Maybe** - монада частичных вычислений; цепочка обрывается на первом Nothing; аналог null-safety в типах
• **List** - монада недетерминизма; bind = flatMap; реляционные запросы = монадические вычисления над List
• **IO** - монада описания эффектов; IO<A> - «программа, возвращающая A»; чистота сохраняется через разделение описания и выполнения
• **Трансформеры монад** (MaybeT, StateT, WriterT) стекируют эффекты; современная альтернатива - Tagless Final и Free Monads

Связанные темы

Монады в программировании связаны со многими концепциями:

• Монады в теории категорий — Предыдущий урок: математическая основа - эндофунктор с η и μ, категории Клейсли и Эйленберга-Мура
• Category Theory в CS — Монады как основа теории типов и денотационной семантики языков программирования

Вопросы для размышления

• Реализуйте монаду Result<A, E> = Ok(A) | Err(E) в TypeScript с операциями return, bind, map, mapErr. Убедитесь, что выполняются все три закона монады.
• async/await - это синтаксический сахар для Promise. Напишите асинхронную функцию без async/await, используя только .then(), чтобы увидеть клейсли-структуру явно.
• Трансформер StateT s Maybe a = s → Maybe (a, s). Когда и почему нужен такой стек? Придумайте задачу, для которой этот трансформер идеально подходит.

Связанные уроки

• plt-30-io-monads
• plt-18-fp