Монады такие монады

[lomeo]

Пару лет назад на RSDN я показывал VladD2 связь query monad из HaskellDB с LINQ. Тогда он называл это бредом. Прошёл год или около того и он сам стал связывать HaskellDB и LINQ. Правда, к монадам отношение у него не изменилось - это способ связывания вычислений в цепочку (почти дословно).

А сегодня IB под впечатлением от того, что LINQ - это монады.

Откуда эта истерика по отношению к монадам? Почему не возникает такого нездорового ажиотажа вокруг моноидов? Они же гораздо абстрактнее, чище и прикольнее :-)

Причём я почти уверен (насчёт VladD2 больше, насчёт IB меньше), что у обоих представление о монадах мало связано с тем, что это математическая модель. Для них это скорее некий паттерн. Место монады в математике не видно - так, приёмчик. Неудивительно, что VladD2 называет это извращением.

Что ли написать свой туториал по монадам? :-)

Comments

[dmzlj.livejournal.com]

Да. Написать. 9001-ый. Может хоть тогда...

[lomeo.livejournal.com]

Атож!

Монады - они такие, каждый на них смотрит по своему неправильно. Один я - правильно :-)

[lionet.livejournal.com]

Да, пиши сразу на ie@fprog.ru :)

[lomeo.livejournal.com]

Сначала закончу первую :)

[palm-mute.livejournal.com]

Ты же уже написал (http://rsdn.ru/forum/decl/3598892.1.aspx).

Кроме того, после вопроса "Откуда эта истерика по отношению к монадам?" писать еще один туториал по монадам - как-то непоследовательно :).

[lomeo.livejournal.com]

Я эмогик!

[nealar.livejournal.com]

Слово страшное. В TAPL автор создал, фактически, монаду IO: способ связывания вычислений в цепочку и упрощённую запись для него, через ; . Правда, немного жульническую, но для строгого языка подходит. Но волшебного слова не произнёс, и обошлось без паники.

[lomeo.livejournal.com]

А вот прикинь, что было бы, если бы произнёс! ;-)

[jakobz.livejournal.com]

Монада - настолько абстрактное понятие, что его можно ко всему привязать. Я могу абсолютно с тем же успехом сказать, что LINQ - это граф.

[metaclass.livejournal.com]

Вроде как раз весьма конкретное понятие. Единственное, что оно позволяет обобщить множество других вещей под одной маркой и работать с ними единообразно.
Графы тоже позволяют обобщить некоторые действия, но не настолько красиво.

[lomeo.livejournal.com]

Если мы поимеем с этого бенефиты на практике, то почему - нет?

Я же больше о том, что по отношению к графам как-то всплесков эмоций не наблюдается.

[-darkus-.livejournal.com]

Дружище, откуда у тебя противопоставление монады моноиду? Монада — это и есть моноид.

[lomeo.livejournal.com]

Где ты увидел противопоставление?! 8-0

[-darkus-.livejournal.com]

Ну мне показалось, что вот здесь: Откуда эта истерика по отношению к монадам? Почему не возникает такого нездорового ажиотажа вокруг моноидов?

[nealar.livejournal.com]

Но это правда: все боятся монад, а про боязнь моноидов я не слышал :)

[-darkus-.livejournal.com]

Мне кажется потому, что:

1. Про моноиды меньше говорят, потому про них меньше слышат.

2. Моноиды, они же полугруппы, понять легче. В том числе и потому, что во многих ВУЗах на курсах по дискретной математики абстрактная алгебра изучается, в том числе и даются понятия групп и полугрупп.

[nealar.livejournal.com]

1. Да!
2. Это уже мелочь, по сравнению с 1.
3. Ещё в филососии есть монады, это добавляет суровости.

[geniepro.livejournal.com]

А есть ещё хламидомонады, трихомонады...
Ну и в религии монады, диады, триады (наверное, их Вы и имели в виду под филососскими монадами :))