Sobre la Programación Confiable

Dijkstra aboga por la prueba formal de programas para garantizar su corrección, desafiando la prevalencia de la depuración que solo demuestra la presencia de errores, no su ausencia. Esto se conecta de forma no obvia con la filosofía de Popper sobre que la ciencia avanza no por verificación, sino por falsación, donde probar la ausencia de errores (mediante la corrección formal) es análogo a la falsabilidad como un criterio más riguroso.

Mientras Dijkstra se enfoca en la manejabilidad de la complejidad mediante la estructuración y la prueba formal en la programación, Hofstadter explora la complejidad y la auto-referencia inherentes en sistemas formales, lógica y cognición. La "estructura pensante" de los programas que Dijkstra busca se refleja en los bucles extraños y la recursividad que Hofstadter desentraña, ambos abordando cómo entender y manejar sistemas complejos, aunque con escalas y fines distintos.

Dijkstra aboga por un cambio de paradigma radical en la programación, de la depuración a la prueba formal, una "revolución" en la forma de entender y construir software. Este libro de Kuhn ofrece un marco para comprender la resistencia a tal cambio y la necesidad de una transformación fundamental en la mentalidad de una comunidad profesional, reflejando el desafío de Dijkstra de que los programadores abandonen el "artefacto" de la depuración por un enfoque más riguroso y matemático.

Aunque escrito mucho después, "El Programador Pragmático" comparte la filosofía subyacente de Dijkstra sobre la importancia de la calidad inherente del software y la construcción consciente. Ambos promueven una mentalidad de ingeniería que va más allá de "hacer que funcione" y se centra en la artesanía, la prevención de errores (vs. su corrección post-facto) y la búsqueda de soluciones elegantes y robustas desde el diseño, resonando con la idea de Dijkstra de que la "programación es el arte de organizar la complejidad".

Dijkstra abogaba vehementemente por la naturaleza matemática de la programación y la necesidad de pruebas formales para la corrección del software. Este tipo de textos, aunque quizás no tan ampliamente conocidos fuera del ámbito académico como otros de Dijkstra, son la base fundamental que él consideraba vital para el desarrollo de programadores competentes y para la construcción de software fiable, alejándose de meras "artes mágicas" hacia una disciplina científica rigurosa.

Este libro (parte de la serie EWD de Dijkstra) es una continuación natural de los principios introducidos en "Sobre la Programación Confiable". Comparte la misma estructura argumentativa: parte de un problema fundamental en la programación (la fiabilidad), expone las deficiencias de los métodos existentes (depuración) y propone una solución radical y estructurada (derivación formal de programas con pruebas de corrección). La forma en que desglosa un problema, propone una alternativa filosófica y luego establece metodologías específicas para su implementación, es idéntica en ambos trabajos.