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

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

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

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

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

Date: 2010-02-19 11:36 am (UTC)
From: [identity profile] dmzlj.livejournal.com
Да. Написать. 9001-ый. Может хоть тогда...

Date: 2010-02-19 12:09 pm (UTC)
From: [identity profile] lomeo.livejournal.com
Атож!

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

Date: 2010-02-19 11:41 am (UTC)
From: [identity profile] lionet.livejournal.com
Да, пиши сразу на ie@fprog.ru :)

Date: 2010-02-19 12:03 pm (UTC)
From: [identity profile] lomeo.livejournal.com
Сначала закончу первую :)

Date: 2010-02-19 11:50 am (UTC)
From: [identity profile] palm-mute.livejournal.com
Ты же уже написал (http://rsdn.ru/forum/decl/3598892.1.aspx).

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

Date: 2010-02-19 12:07 pm (UTC)
From: [identity profile] lomeo.livejournal.com
Я эмогик!

Date: 2010-02-19 01:03 pm (UTC)
From: [identity profile] nealar.livejournal.com
Слово страшное. В TAPL автор создал, фактически, монаду IO: способ связывания вычислений в цепочку и упрощённую запись для него, через ; . Правда, немного жульническую, но для строгого языка подходит. Но волшебного слова не произнёс, и обошлось без паники.

Date: 2010-02-19 01:24 pm (UTC)
From: [identity profile] lomeo.livejournal.com
А вот прикинь, что было бы, если бы произнёс! ;-)

Date: 2010-02-19 02:40 pm (UTC)
From: [identity profile] jakobz.livejournal.com
Монада - настолько абстрактное понятие, что его можно ко всему привязать. Я могу абсолютно с тем же успехом сказать, что LINQ - это граф.

Date: 2010-02-19 04:28 pm (UTC)
From: [identity profile] metaclass.livejournal.com
Вроде как раз весьма конкретное понятие. Единственное, что оно позволяет обобщить множество других вещей под одной маркой и работать с ними единообразно.
Графы тоже позволяют обобщить некоторые действия, но не настолько красиво.

Date: 2010-02-20 09:02 am (UTC)
From: [identity profile] lomeo.livejournal.com
Если мы поимеем с этого бенефиты на практике, то почему - нет?

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

Date: 2010-02-19 08:44 pm (UTC)
From: [identity profile] -darkus-.livejournal.com
Дружище, откуда у тебя противопоставление монады моноиду? Монада — это и есть моноид.

Date: 2010-02-20 09:00 am (UTC)
From: [identity profile] lomeo.livejournal.com
Где ты увидел противопоставление?! 8-0

Date: 2010-02-20 08:03 pm (UTC)
From: [identity profile] -darkus-.livejournal.com
Ну мне показалось, что вот здесь: Откуда эта истерика по отношению к монадам? Почему не возникает такого нездорового ажиотажа вокруг моноидов?

Date: 2010-02-20 11:24 pm (UTC)
From: [identity profile] nealar.livejournal.com
Но это правда: все боятся монад, а про боязнь моноидов я не слышал :)

Date: 2010-02-21 09:10 am (UTC)
From: [identity profile] -darkus-.livejournal.com
Мне кажется потому, что:

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

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

Date: 2010-02-21 05:54 pm (UTC)
From: [identity profile] nealar.livejournal.com
1. Да!
2. Это уже мелочь, по сравнению с 1.
3. Ещё в филососии есть монады, это добавляет суровости.

Date: 2010-02-22 09:11 am (UTC)
From: [identity profile] geniepro.livejournal.com
А есть ещё хламидомонады, трихомонады...
Ну и в религии монады, диады, триады (наверное, их Вы и имели в виду под филососскими монадами :))

Profile

lomeo: (Default)
Dmitry Antonyuk

December 2015

S M T W T F S
  12345
6789101112
131415 16171819
20212223242526
2728293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 24th, 2017 03:47 pm
Powered by Dreamwidth Studios