монатки

"Читал тут недавнее про Coq. Там какие-то монатки встречались." (с) Anonymous
Монадой в программировании называется параметризованный класс
M
, у которого есть две операции,
lift: Т → M
и
flatten: M> → M
К примеру, список: у него
lift
- это синглтон
(одноэлементный список), а flatten
- выстраивание
списка из списка списков.Что тут сложного?!