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

Поэтому для меня все эти комментарии про нижеплинтусность уровня и в силу этого неприменимости того высокого, сложного и красивого, о чем я постоянно пишу -- мимо. Не нужно тут комментариев про "бесполезность в реальной жизни". Для того и пишу, чтобы был вышеплинтусный уровень. Задаю планку. Про бесполезность речь не идет (хотя если говорить конкретно о SOA, то да - я ее считаю бесполезной). Речь о том, как все это высокое и красивое адаптировать к реальной жизни, которая зачастую вовсе даже низкая и грязная. Как говориццо where there's muck, there's brass (один из вариантов перевода "где дерьмо, там и деньги"). К примеру, у меня вот тоже есть высокое и светлое - верификация программ. Лет 15 назад я мечтал этим заниматься, и сейчас для этого появились возможности и я этим даже практически каждый день занимаюсь хотя бы по чуть-чуть. И в основе этого занятия, лежит идея, что потенциально, верифицированные программы писать проще, нежели неверифицированные. Но в реальной сегодняшней практике, это далеко не так. Издержки на верификацию очень высоки. Вы недавно приводили ссылку на австралийцев верифицировавших ядро операционной системы, там цифры указывались. Так что в реальности, этому пока нет места, за редкими исключениями. Тем не менее я все равно занимаюсь, ибо вижу пути преодоления этих проблем. Но все равно, чтобы это освоить нужно иметь очень высокую квалификацию. Я вот математикой и программированием 20 лет занимаюсь, и мне совсем непросто верифицировать софт. И я хорошо знаю, что большинство народу не сможет и не захочет этим заниматься, ибо это слишком сложно. Тем не менее, и эта проблема при желании решается: молодняку ведь пофиг что изучать, так что если работать со студентами, то со временем можно и нужные кадры вырастить. Ну и т.д. В перспективе, эти проблемы решаются, но до этой перспективы надо еще дожить. Как говорицци, кормить в пути никто не обещал.