монады-3

[sab123]

По-русски переписывать мне лень, поэтому сразу дам ссылку на английский вариант: http://babkin-cep.blogspot.com/2014/07/monads.html

Comments

[juan-gandhi.livejournal.com]

You did not get it. Join the Crockford club.

Щас, кстати, а почему ты вообще решил, что это у тебя монаада, а не, к примеру, гомотопический тип, или алгебраическое многообразие?

[sab123.livejournal.com]

Крокфорд все рассказывает вполне правильно. Ну, несколько ограниченно, контейнеры с более чем одним элементом в них он не прочухал, но вполне правильно.

А решил я потому, что это то, что делает хаскельная монада. Если б оно было гомотопическим типом, они поди его так его и назвали бы. А так они назвали монадой, и ей гордятся.

Вообще ковыряние математики не является моим хобби. Но раз уж люди тут рассказывают, что вот дескать, от использования вот этой конкретной происходящей из математики конструкции в программах получается всякое счастье, то и мне интересно - может, мне такое счастье тоже надо? Но оказалось, что у меня такое счастье уже есть. Когда найдут счастье в алгебраическом многообразии, посмотрим и на него.

[juan-gandhi.livejournal.com]

А, понятно, это ты из хаскельной вытащил. Ну да, ну да. Но там монада не первой свежести. Это как если бы ты свойства трехмерного эвклидова пространства по графическим пакетам изучал.

[sab123.livejournal.com]

Ну да. Математическую монаду я и не обещал, а разглядывал конкретно хаскельную. Кстати, из чтения википедий я сделал совершенно ту же ошибку, что и Крокфорд, и тут спасибо thedeemon за наставление меня на путь истинный примером про монаду на списках.

А на разбирание математики надо чересчур много времени, и мне оно не настолько интересно, чтобы это время туда тратить. У меня, кстати, есть ощущение, что более простое объяснение математических монад получится, если сначала взять одну более-менее общеизвестную категорию (например, теорию множеств), и рассказать, чем будет монада в ней. А потом обобщить на другие категории.

Кстати, прочувствовать ЧЕТЫРЕХ-мерное пространство может быть легче всего как раз на графических пакетах.