Без заголовка

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