Codage ≠ Programmation : Le point de vue d'un lauréat du prix Turing sur l'abstraction
Leslie Lamport, lauréat du prix Turing âgé de 84 ans, a prononcé un discours principal soulignant la différence cruciale entre codage et programmation. Il a soutenu que la pensée abstraite avant le codage est primordiale, conduisant à moins d'erreurs et à un code plus efficace. Son propre langage de spécification TLA+, utilisé dans le développement du vaisseau spatial Rosetta, sert d'exemple parfait, démontrant une réduction significative du code et des améliorations architecturales. Lamport critique la tendance des programmeurs à se concentrer sur les langages au lieu de la conception abstraite, préconisant de concevoir d'abord le modèle abstrait du programme, puis de coder. Cette approche minimise le débogage et la révision, ce qui donne un code plus propre et plus facile à maintenir.