Провокационный вопрос

[metaclass]

Знают ли разработчики ядра и околоядерного софта под линукс современные методики разработки софта - как-то объектно-ориентированный дизайн, функциональное программирование, доказательство валидности программ, всякие там DSL и кодогенерации?