монатки

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

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

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

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

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

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

Предыдущие записи блогера :
Архив записей в блогах:
Уж как свидомиты радовались успехам Халифата в Сирии и читали мантры про то, как Халифат покажет там России. А тут такой облом - ИГИЛовские пропагандисты включили Украину в список врагов Халифата. Террористы включили Украину в список коалиции против ИГИЛ. Террористическая группир ...
Мы вчера отправляли его на КТ органов грудной клетки. Скинулись на помывку, на чистую одежду, на билеты на автобус. А сегодня Витёк так Заключение: Участок уплотнения в S8 слева может соответствовать как сегментарной пневмонии так и посттравматическому геморрагическому пропитыванию. ...
Прочитала пост Немихаила - чего-то вспомнила, как в прошлом году ненадолго застряли с сыном в лифте, и с тех пор он, когда заходит в кабину, приговаривает: надеюсь, мы больше не застрянем? Еще и свет погас... А чего удивляться?.. Лифт, опасная техническая конструкция, требующая ответствен ...
Читаю вот очередные новости от небратьев: В Киеве открыли мемориальную доску палачу киевлян, холую Гитлера, главарю Организации украинских националистов Евгену Коновальцу. Тому самому, который лично руководил расправами с киевскими рабочими в 1918 году, дважды встречался с Адольфом ...
Каюсь, мы сами виноваты - не прочитали правил, прежде чем в первый раз ...