монатки

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

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

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

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

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

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

Предыдущие записи блогера :
Архив записей в блогах:
Когда мы сканируем товары, произведённые в России, программа сканирования распознаёт страну их происхождения-Россию. Но когда мы сканируем документы по уплате налогов РФ, QR/штрихкоды выдают страны Запада и США: -транспортный налог (Италия); -земельный налог (США); -налог на ...
Работодатель заботится о нас в меру своего понимания. В кухне стоит кофемашина, а на полочке лежат печеньки и вот такие баночки: Желающий может сорвать с баночки фольгу и вылить содержимое в кофе. Или просто выпить. Полагаю, лояльность сотрудников может сильно вырасти, если заменить ...
Родители у него были нежные, пуганые, культурные евреи. Мать из случайно нетронутых, а отец хлебнул: попал в детстве в лагерь ЧСИРом: знатное революционное прошлое родственников не простили. Сбежал из лагеря, дошел до Москвы, там приютили друзья. Рос потихоньку, а там супостат помер, ...
Рецепт под катом.. Подготовленная баранина и лук (на заднем плане) Квас (непроцеженный еще) Обжаренная баранина Обжаренная баранина залитая квасом + репчатый лук и перец горошком Сотейник на рассекателе пламени (фотография какая уж вышла - света нет)) Готовый тавранчук , ...
Байден снова слегка увеличил отрыв от Трампа, хотя в августе последний начал догонять первого. Правда, опросы применительно к американской избирательной системе не могут быть точными, а потому интересны скорее в пропагандистском плане, чем в содержательном. Но остается всего ничего - ...