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