Зміст:
Визначення - Що означає Монада?
Монада - це абстрактний конструктор типу даних, який використовується для представлення обчислень у функціональному програмуванні. Монади дозволяють розробникам додатків ланцюжок дій спільно будувати конвеєр. Монада призначає додаткові правила обробки для кожної дії в програмі.
Техопедія пояснює Монаду
Монадічні функції зазвичай створюються програмістом для визначення трубопроводу для обробки даних, але початківці програмісти, як правило, знаходять їх дуже важко.
Монада створюється шляхом визначення двох операцій ("прив'язування" та "повернення") та конструктора типу ("М"). Операція "повернення" приймає значення з простого типу і вводить його в монадичний контейнер типу "М". Потім операція "прив'язування" робить протилежний байт, витягуючи з контейнера вихідне значення і передаючи його до пов'язаної наступної функції в трубопроводі.
