Warum Programmieren Theorie-Bilden ist – Ein verkannter Klassiker

Der vermisste Begriff

Jani Hartikainen beschreibt seinen „Aha-Moment" beim Lesen von Peter Naurs Essay „Programming as Theory Building". Der dänische Informatiker prägte bereits 1985 einen Begriff, der alles zusammenbringt: Clean Code, Architektur, Tests, Dokumentation.

Das Kernkonzept

Naur argumentiert, dass der Code sekundär ist. Das Primäre am Programmieren ist das „Theorie-Bilden": ein mentale Modell des Programms, seiner Anforderungen und seiner Beziehungen zur Welt. Code und Dokumentation sind nur Versuche, diese Theorie zu kommunizieren.

Wenn Entwickler disparate Aktivitäten wie Tests schreiben oder Clean Code pflegen isoliert betrachten, verpassen sie das große Ganze: All diese Praktiken dienen demselben Ziel – die Theorie des Programms zu kommunizieren und bewahrbar zu machen.

Die praktische Bedeutung

Wer das Konzept verinnerlicht, sieht Design Patterns und Domain-Driven Design neu: Sie sind Werkzeuge zur Kommunikation von mentalen Modellen. „Intellectual Control" – die Fähigkeit, über Änderungen nachzudenken und ihre Auswirkungen vorherzusagen – wird messbar.

Der Essay ist kurz und frei verfügbar. Für jeden, der über Softwarequalität nachdenkt, ist er essentiel.

Link: Original bei CodeUtopia