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

Полазил по сцылкам, оказывается появился язык моей мечты: функциональный, с поддержкой императивного программирования путем доказательства теорем http://www.ats-lang.org/ При этом по скорости сравним с С/С++. Кстати там еще был интересный наследник Smalltalk и Self - Lisaac, тоже по скорости такой же как и Си. Вот это серьезный прорыв в программированиие - появление мощных высокоуровневых языков сравнимых по производительности с Си. Ну т.е. как бы уже давно есть такие, тот же Haskell и Clean (Java в какой-то мере). Но у Хаскела к сожалению были некоторые недоработки в имплементации, правда, недавно начали работы в области суперкомпиляции Хаскела (ссылка была у Вас в блоге где-то), которые эти проблемы решают.