Монада — понятие философии и математики¶

Монада (от др.-греч. μονάς — «единица», «одиночка») — философское и математическое понятие, обозначающее неделимую элементарную единицу бытия или вычислительную структуру. В философии термин восходит к пифагорейцам и позднее получил систематическое развитие у Готфрида Лейбница, описавшего монады как простые безчастотные субстанции — элементарные духовные «атомы», из которых состоит мир. В математике и информатике монадой называют конструкцию в теории категорий, позволяющую моделировать вычисления с побочными эффектами (сайд-эффектами) в функциональном программировании.

¶История понятия

¶Античность и средневековье

Впервые термин «монада» употребляли пифагорейцы, обозначая им число 1 как начало всех чисел и символ единства. Платон в «Федоне» называет монадой неделимую единицу, а в «Тимее» — первоэлемент космоса. Неоплатоник Прокл развивал идею монады как высшего принципа, порождающего множественность. В христианской теологии понятие использовалось для описания Троицы и божественной простоты.

¶Философия Лейбница

Наиболее известное воплощение идея монады получила в «Метафизическом рассуждении» (1686) и «Теодицее» (1710) Готфрида Лейбница. По его учению, реальность состоит из бесконечного множества монад — простых, неделимых, не имеющих частей субстанций. Ключевые свойства лейбницевых монад:

• Простота — монада не имеет протяжённости и внутренней структуру, её нельзя разложить на части.
• Отсутствие «окон» — монады не обмениваются веществом или энергией друг с другом; каждая развивается согласно внутреннему закону.
• Перцепция и апетиция — каждая монада обладает восприятием (пассивным отражением множества) и стремлением (аппетицией) переходить от одной перцепции к другой.
• Предустановленная гармония — все монады согласованы благодаря Богу, что объясняет причинную связь между событиями без прямого взаимодействия субстанций.

Лейбниц разделял монады на три класса: лишённые восприятия (как у камней), обладающие восприятием и памятью (животные), и монады-души, наделённые разумом (люди). Высшая монада — Бог — является монадой монад.

Учение Лейбница о монадах оказало влияние на немецкую классическую философию, в частности на метафизику Шеллинга, и было переосмыслено в XX веке в рамках процессной философии А. Уайтхеда и неолейбницианства.

¶Монада в математике

¶Теория категорий

В теории категорий монада определяется как эндофунктор T на категории C вместе с двумя естественными преобразованиями: единицей η: Id_C → T и умножением μ: T² → T, удовлетворяющими аксомам ассоциативности и единичности. Монада формализует идею «обёртки» или «контейнера» над значениями, позволяя описывать вычисления, которые выходят за рамки чистых функций.

¶Классические примеры

Монады позволяют композировать такие эффекты детерминированно, сохраняя чистоту основного кода.

¶Монады в функциональном программировании

Популяризацию монад в программировании связывают с работой Эджера Дейкстры «Why Functional Programming Matters» (1990), статьёй Филипа Вадлера «Monads for functional programming» (1990) и лекциями Саймона Пейтона Джонса. В языке Haskell монады стали основным механизмом организации ввода-вывода, обработки ошибок и работы с состоянием.

Основные операции монады в Haskell:

• return (в современных версиях — pure) — помещение значения в обёртку;
• >>= (bind) — последовательное выполнение вычислений, где результат одной обёртки передаётся в функцию, возвращающую новую обёртку.

Монады решают проблему «тефтонного кода» (callback hell), позволяя выражать последовательные вычисления с эффектами в виде цепочек. Расширение языка GHC — аппликативные функторы и монадические трансформеры — позволяет комбинировать несколько монад.

¶Критика

Монады в программировании неоднократно критиковались за сложность изложения: терминология теории категорий (функтор, естественное преобразование, моноид в категории функторов) делает материал трудным для восприятия новичков. В ответ на критику были предложены более простые абстракции — аппликативные функторы и функторы. Тем не менее монады остаются стандартным инструментом функционального программирования и используются в языках Haskell, Scala, Clojure, F#, Elm, PureScript.

¶См. также

• Лейбниц, Готфрид Вильгельм
• Категория (математика)
• Функтор
• Функциональное программирование

¶Источники

• Лейбниц Г. В. Метафизическое рассуждение. Теодицея.
• Wadler P. Monads for functional programming. — 1990.
• Mac Lane S. Categories for the Working Mathematician. — Springer, 1998.
• Pierce B. C. Types and Programming Languages. — MIT Press, 2002.
• Уайтхед А. Процесс и реальность.