Здравствуйте, mkizub, Вы писали:

M>Ну возьми те-же скриптовые языки. Как на них удобно писать маленькие программы. Ни типов объявлять,
M>ни о скорости заботиться. А попробуй написать на скриптовом языке большую программу — очень
M>скоро начнётся такая борьба с вылазящими изо всех щелей ошибками связанными с типами, что
M>проект застынет на месте.

Если ты по поводу динамической типизации, то есть ощущение, что ты неправ
Контрпример — код ПО для свича AXD301, пару лет назад вроде там было что-то типа 2 миллионов строк на Erlang — язык динамичней некуда.

M>[cut] И всё, приплыли. Передача данных и управления между
M>разными слоями становится настолько сложной и тормознутой, что это перечёркивает
M>все преимущества разделения проекта на разные части. И мы опять у разбитого корыта.

Всё это напоминает статью Спольски про закон дырявых абстракций, только вот что именно ты предлагаешь?
Уровни абстракций, DSL и т.п. — это всё прикольно, но что нового в этом твоём СОП и чем оно спасёт отца российской демократии?