Вот как надо писать научно-популярные тексты!.
Сразу захотелось выучить очередной раз всю теорию категорий и монады в Хаскелле.

Правда меня смущает несколько особенностей Хаскелля.

Во-первых, почему haskell-platform "весит" более 400 мегабайт?

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

Я регулярно читаю блог Joel Spolsky JoelOnSoftware. Раньше он хорошо писал про программирование, а сейчас, после создания своей компании, больше пишет об управлении программистской фирмой.
Недавно Joel рекламировал сайт StackOverflow.com, к созданию которого он приложил руку. Это сайт вопросов и ответов по программированию, основанный на репутации. Если задавать интересные вопросы и давать правильные ответы, то репутации повышается. Уже сейчас сообщество пользователей очень квалифицированное и даёт ответы на самые каверзные вопросы.
Кроме того, сайт сделан очень удобно - вход по OpenID, хороший поиск и классификация вопросов и ответов.

Чтение вопросов, связанных с математикой, напомнило мне о ещё одном хорошем сайте, где я зарегистрирован. Это сайт задачек по математике и программированию ProjectEuler.net. Задачки там достаточно простые, на их решение редко требуется больше часа времени. Они хорошо подходят для изучения новых языков программирования.

Я думал было начать решать задачки на haskell-е, но понял, что знаю его слишком плохо, поэтому перешёл к более привычному Common Lisp, тем более, что Slime отлично подходит для решения простых задачек - короткие функции я пишу прямо в REPL и сразу же получаю ответ, а среда подсказывает названия и параметры функций.