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

[metaclass]

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

Comments

[nicka-startcev.livejournal.com]

а хотя бы посикс под ним на хотя бы сата-винтах с хотя бы вга-консолью и хотя бы одной сетевухой уже живет? :)

[norguhtar.livejournal.com]

У него есть православная прокладка с драйверами от линукза!

[theaspect.livejournal.com]

А они тоже математически валидированы?

[norguhtar.livejournal.com]

Нет конечно ;)