Codieren ≠ Programmieren: Die Perspektive eines Turing-Preisträgers auf Abstraktion
Leslie Lamport, ein 84-jähriger Turing-Preisträger, hielt eine Grundsatzrede, in der er den entscheidenden Unterschied zwischen Codieren und Programmieren hervorhob. Er argumentierte, dass abstraktes Denken vor dem Codieren von größter Bedeutung ist und zu weniger Fehlern und effizienterem Code führt. Seine eigene Spezifikationssprache TLA+, die bei der Entwicklung der Raumsonde Rosetta verwendet wurde, dient als Paradebeispiel und zeigt eine deutliche Codeverringerung und architektonische Verbesserungen. Lamport kritisiert die Tendenz von Programmierern, sich auf Sprachen statt auf abstraktes Design zu konzentrieren, und plädiert dafür, zuerst das abstrakte Modell des Programms zu entwerfen und dann zu codieren. Dieser Ansatz minimiert Debugging und Überarbeitung und führt zu sauberem und leichter zu pflegendem Code.