монатки

топ 100 блогов ivan_gandhi08.11.2012 "Программы - самые сложные артефакты человечества. Сущности, которыми они оперируют, иногда не вмещаются в нашу Вселенную." (c)Сергей Зефиров

"Читал тут недавнее про Coq. Там какие-то монатки встречались." (с) Anonymous

Монадой в программировании называется параметризованный класс M, у которого есть две операции, lift: Т → M и flatten: M> → M

К примеру, список: у него lift - это синглтон (одноэлементный список), а flatten - выстраивание списка из списка списков.

Что тут сложного?!

Оставить комментарий

Предыдущие записи блогера :
Архив записей в блогах:
Маргарита Суханкина – знаменитая оперная и эстрадная певица, тайная исполнительница всех самых популярных хитов легендарной группы «Мираж». Эта невероятная женщина смогла объять ...
"Почему языки упрощаются? К примеру, разнообразные падежи, и прочие сложные спряжения глаголов исчезают, произношение упрощается (следы видны только в написании, типа daughter). Или на примере французского языка - эволюция произношения слова "палец" digitum digitu digtu dijtu dijt dejt ...
18 (31) августа 1863 года родился Сергей Михайлович Прокудин-Горский — русский фотограф, химик (ученик Менделеева), изобретатель, издатель, педагог и общественный деятель, член Императорского Русского географического, Императорского Русского технического и Русского фотографического ...
Война войной, но я решила все же начать описывать наше замечательное путешествие. И начну я с Лондона. У нас был утренний рейс. Мы добрались до гостиницы, оставили там вещи и тут же отправились гулять по городу. И начали мы с галереи Тейт. Мы там были сто лет назад, но мне очень ...
Народ, я тут проснулся и смотрю на мир с удивлением - у одних все пропало, а у других просто праздник. Скайп забит слезами и соплями - аааааа! Трамп победил, спасайтесь кто может, а кто не может - тоже спасайтесь, караул, отечествоопасносте, зрада зрадная, Порошенко сука. Запускаю ЖЖ и ФБ ...