Комментарий
Кстати насчет попрограммировать, рекомендую Pure http://code.google.com/p/pure-lang/
Я его некоторое время назад встретил, и мне он весьма понравился, но я почему-то воспринимал его как rewriting язык, т.е. специфичный (типа Maude OBJ языки систем компьютерной алгебры).
На самом деле, его более правильно воспринимать как функциональный но с динамической типизацией.
Т.е. он более выразительный чем Хаскел за счет этого, ибо у него нет многих ограничений на уровне системы типов.
В результате пописать что-нить одному на нем весьма удобно (т.е. не в большом проекте, где много людей и требуется статические типы чтобы отлавливать баги на уровне компиляции)
Плюс там есть поддержка матриц, ну и каких-то научных библиотек
Вобщем весьма и весьма интересный язык, именно попрограммировать