Странно, что для алгебраиста все совсем иначе. Примерно по известной шутке, приписываемой Марку Твену: "Бросить курить очень легко. Я делал это сотни раз." Т.е. понять определение монады очень легко, запомнить его гораздо труднее.
Лично я помню -- с тех пор, как представился случай воспользоваться. До этого момента все забывал.
а патамушта надо не лениться а освоить базовую теорию категорий и понять зачем она нужна и чего в ней делают монады, и вот тогда наступит просветление и объяснения через контейнеры и эффекты забудутся как страшный сон
Во время добавления его сообщества на ФрендФиде во "френды" подумал-подумал, да и добавил тег "философия". Недалеко будет, и не столько из-за Лейбница.
no subject
Date: 2009-11-08 05:13 pm (UTC)no subject
Date: 2009-11-08 05:29 pm (UTC)http://en.wikipedia.org/wiki/Monad_(functional_programming)
no subject
Date: 2009-11-08 07:12 pm (UTC)Лично я помню -- с тех пор, как представился случай воспользоваться. До этого момента все забывал.
no subject
Date: 2009-11-08 10:07 pm (UTC)no subject
Date: 2009-11-09 12:34 am (UTC)no subject
Date: 2009-11-08 05:17 pm (UTC)no subject
Date: 2009-11-08 09:44 pm (UTC)no subject
Date: 2009-11-08 05:18 pm (UTC)no subject
Date: 2009-11-08 08:52 pm (UTC)no subject
Date: 2009-11-09 11:55 pm (UTC)Кто нить может объяснить, почему Input/Output - это монада, а не монада и ко-монада?