Codificación ≠ Programación: La Perspectiva de un Ganador del Premio Turing sobre la Abstracción

Leslie Lamport, un ganador del Premio Turing de 84 años, pronunció un discurso principal enfatizando la diferencia crucial entre codificación y programación. Argumentó que el pensamiento abstracto antes de la codificación es fundamental, lo que lleva a menos errores y código más eficiente. Su propio lenguaje de especificación TLA+, utilizado en el desarrollo de la nave espacial Rosetta, sirve como un excelente ejemplo, demostrando una reducción significativa del código y mejoras arquitectónicas. Lamport critica la tendencia de los programadores a concentrarse en los lenguajes en lugar del diseño abstracto, abogando por diseñar primero el modelo abstracto del programa y luego codificarlo. Este enfoque minimiza la depuración y la revisión, lo que resulta en un código más limpio y fácil de mantener.