Ещё я теперь понимаю, что такое монады в Хаскеле и как они работают, и это прекрасно.

Как я тебя понимаю! Лучше, чем монады :). Ну, то есть, вроде я их тоже понял, но пока сам не написал чего-то такого монадистого, полной уверенности нет. Кстати, что именно привело к просветлению?

I read the paper linked to from here: http://lambda-the-ultimate.org/node/1183

Admittedly, this probably isn't a universally useful way to grok monads. It provides a very short category theory tutorial building up to what a monad is from a category-theoretical point of view. This was incredibly useful to me, because I'm familiar with the basics and could follow the tutorial quickly, but someone who doesn't know categories at all might get bogged down in details or just not follow the point.

The dry mathematical stuff is then followed by a very nice demonstration of a "fake" IO monad written up from scratch, which lets you see what do-notation "really does", and how the state of the world is stored in the monad and passed around. At that point I experienced the light-bulb-above-my-head sensation and things started sorting themselves out, rapidly. I won't claim I really understand it all until I write something nontrivial myself, but hopefully that'll follow pretty soon.

Nice, I've started reading it. I think I do understand the thing about "how the state of the world is stored in the monad": it's not that different (conceptually) from continuations, but what I lack is understanding of motivation behind the monad laws.

Ещё я теперь понимаю, что такое монады в Хаскеле и как они работают, и это прекрасно.
Как я тебе завидую! Надо мне все-таки наити время и вернуться к Haskellу

А нет ли другого сервера для отправки файлов? Вроде yousendit.com, только чтобы можно было отправлять неограниченному кругу людей. А то Rapidshare - это какой-то геморрой: сначала выбери "фри" или "премиум", потом, коли ты выбрал "фри", тебя без всякой нужды заставляют ждать (чтоб знал свое место, халявщик), потом еще выбери зеркало, потом введи каптчу...

Прям хочется всё бросить и пойти узнать, что же такое монады в Хаскеле.

-- монохроматичных пятнистых коров

Анатолий, вы ведь имели в виду чёрно-белых коров, правда? Расскажите, пожалуйста, как-нибудь юзеру shufel, что употребление слова "монохроматичный" в этом случае - не криминал. А то он мне регулярно расказывает, что "монохроматичный" может относиться только к волнам одинаковой длины. Т.е., например, небезызвестного Голубого Щенка можно назвать монохроматичным. А чёрную, белую или чёрно-белую корову - нет.

Да, Слава, черно-белый телевизор - тоже цветной :).

корова, скорее всего, монохромная

Я думал что синИя это перемолотое мясо под тхиной. Так во всяком случае её делали в Йокнеаме, когда я там работал :)

Thanks very much for the Палажченко -- what a great resource!

--languagehat

Если кто-то не на Windows, и не может открыть Палажченко, на этой странице есть помощь: Windows' Compiled HTML Help (CHM) Format.

Толя,

Пока я собирался, файл (с книжкой) стёрли. Не мог бы ты мне его на мыло послать?

yona @ geos.gsi.gov.il

Спасибо заранее :-)