монатки

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

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

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

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

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

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

Предыдущие записи блогера :
Архив записей в блогах:
Мне Пелагея очень нравится , а эта песня нравится особенно. Настоящая ...
Проезжая по одной из улиц ( а именно ул.Шотмана Невского р-на), было замечено пару табличек "Я здесь копал и, пожалуйста, сюда не ставить своё авто". УЖЕ? УЖЕ СТАВЯТ? там ЧТОООО копать-то? я к чему? это не МОЙ ДВОР, НО Я ХОЧУ СПАСАТЬ места для тех, кто ...
Впереди у нас Масленица с рецептами блинов, а там и Великий Пост... Так что сегодня, пока мы не отвлеклись на другие темы, самое время поговорить о мясе! фото из сети Свиные отбивные Отбивные... просто отбивные, а не те самые котлеты на реберной косточке, о которых мы недавно ...
Наука лидерства: "Выпуск от 2019-08-12", Ваша цитата: " В одном Казахстане уничтожены сотни тысяч людей самыми зверскими способами. Женщин, к примеру, казахские нацисты подвешивали на крюки за половые органы – это очень болезненная и мучительная смерть, о которой визгуны о сталинских ...
В 1252 году в этом месте, в самом начале Куршской косы, тевтонцы обустроили небольшой защищенный постоялый двор с трактиром «Кранца-Круг». Считается, что название произошло от прусского слова «крантас», обозначавшего «обрывистый берег». В 1258 году тевтонское поселение ...