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

[metaclass]

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

Comments

[blackyblack.livejournal.com]

ООП в ядре линукса во весь рост. Доказательство валидности есть для всяких альтернативных осей - про House много толков ходило.