Провокационный вопрос
Знают ли разработчики ядра и околоядерного софта под линукс современные методики разработки софта - как-то объектно-ориентированный дизайн, функциональное программирование, доказательство валидности программ, всякие там DSL и кодогенерации?
no subject
На сегодняшни день WinRT это такая жутко изолированная песочница (вирутуальная ОС) для приложений с GUI в стиле Metro. Что будет дальше пока непонятно. Ну т.е. это не то что неполноценная замена Win32, а пока даже близко не замена. При этом ничего кроме самой WinRT для Metro Style приложений недоступно (даже опосредованно).