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

Нет, просто они используют грубую силу. Прогресс конечно тоже есть. Но сами микрософтовцы (микрософт ресерчевцы) говорят: фрейм кондишенз - это самая жопа. Фрейм кондишенз - это ограничения на состояния массивов/кучи, ну т.е. как раз императивка. Прогресс безусловно тоже есть, тут они молодцы. В частности у них есть детектор инвариантов. Это все помогает, но стратегически они завязнут во фрейм кодишенз. Т.е. рано или поздно им придется уходить от императивки в сторону функционалки. Но я очень сомневаюсь, что они смогут это сделать - все таки корпоративная культура очень сильно давит. Грубо говоря это должна быть другая компания, типа Гугля, а с Микрософта уже побежал топ-менеджмент, включая Билла. С Вистой они облажались совмесем. Так что я думаю, что Микрософт уже не умирающая компания. А вот Микрософт Рисеч думаю выживет в том или ином виде, это что-то другое, не Микрософт.