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

Компьютерная революция еще не началась. Но явно зреет революционная ситуация: отдельные детальки начинают встречаться то тут, то там -- а полная сборка из деталек происходит пока только в блогах типа наших, университетских курилках и (по очень отдельным частям) в тех же университетских проектах. Как я понимаю, все эти 5 пунктов про Coq -- это пока только сослагательное наклонение, хотя много кода уже написано. Но и система Пиумарты уже содержит много кода, и тоже вся в сослагательном наклонении. Но одни и те же тренды в основанных на разных парадигмах ветвях компиляторщиков уже видны, это факт: -- унифицированное рассмотрение динамической и статической типизации, подвод под доказательство программ "сверхпозднего связывания", рефлексия и прочие неразличения интерпретации и компиляции -- выход в мультипарадигмальность -- стек языков, с DSL на верхушке, "языкоориентированность" и прочая "языковая" расширяемость (по этой линии проходит и MDA) -- формальные модели в основании всех базовых языков, "поэзия" типа С и Perl уже не проходит -- язык, совмещенный с IDE и неотделимый от нее (идея еще со Smalltalk) ... и так далее В какой-то момент пойдут сборки всех этих идей в рамках инструментальных систем. А вот когда начнутся на верхушках этих систем реализовываться прикладные системы, а на низушках -- другие процессорные архитектуры (выгадывая 100 раз минимально на скорости работы в сложных задачах) тогда и случится эта самая революция. Но революционность к этому моменту уже никто не будет замечать...