Оглавление:
Определение - Что означает Монада?
Монада - это конструктор абстрактных типов данных, который используется для представления вычислений в функциональном программировании. Монады позволяют разработчикам приложений связывать действия вместе, чтобы построить конвейер. Монада назначает дополнительные правила обработки каждому действию в программе.
Техопедия объясняет Монаду
Монадические функции обычно создаются программистом для определения конвейера обработки данных, но начинающие программисты склонны находить их очень сложными для понимания.
Монада создается путем определения двух операций («bind» и «return») и конструктора типа («M»). Операция return возвращает значение из простого типа и помещает его в монадический контейнер типа "M". Затем операция «связать» выполняет противоположный байт, извлекая исходное значение из контейнера и передавая его соответствующей следующей функции в конвейере.