Structured Programming (Programación Estructurada)

Aunque no trata directamente de programación, este libro profundiza en los fundamentos lógicos y recursivos que subyacen a la programación estructurada. Explora cómo sistemas complejos pueden surgir de reglas simples y cómo la autorreferencia es crucial, conceptos paralelos a cómo la modularidad y la recursión son esenciales en la buena programación.

La programación estructurada de Dijkstra fue, en cierto modo, una 'revolución de paradigma' en la informática. Este libro ayuda a entender el contexto más amplio de cómo las disciplinas cambian sus fundamentos y adoptan nuevas formas de pensar, un eco del impacto transformador de Dijkstra en la ingeniería de software.

Dijkstra abogaba por la claridad, la simplicidad y la corrección matemática en el código. Rams, en el diseño industrial, persigue principios similares: que algo sea útil, comprensible y estéticamente limpio. Ambos buscan una elegancia fundamental que surge de la ausencia de elementos innecesarios y una estructura clara.

La programación estructurada busca establecer un conjunto de reglas y principios (como la modularidad, el control de flujo claro) que, aplicados de manera consistente, conducen a sistemas 'justos' en el sentido de ser legibles, mantenibles y correctos. Rawls busca una estructura fundamental para la justicia, de manera análoga a cómo Dijkstra busca una estructura fundamental para la corrección del software.

Mientras Dijkstra consolidó los principios técnicos, Bauer, un importante científico informático alemán, amplía la reflexión sobre el acto de programar a un nivel más filosófico, explorando por qué es una actividad distintivamente humana y qué significa en un sentido más amplio, complementando la visión pragmática de Dijkstra.

Brinch Hansen, un pionero danés en sistemas operativos, fue contemporáneo de Dijkstra y trabajó en problemas como la concurrencia y la sincronización, áreas donde la falta de estructura lleva rápidamente al caos. Su enfoque en encontrar soluciones elegantes y robustas para sistemas complejos se alinea perfectamente con el espíritu de Dijkstra de buscar claridad y corrección formal.

La programación estructurada se trata de cómo la misma 'historia' (un problema computacional) se puede contar de una manera clara, eficiente y mantenible utilizando un conjunto limitado de 'estructuras narrativas' (bucles, condicionales). Queneau explora cómo la misma premisa puede ser contada de infinitas formas, destacando la importancia de la 'estructura' sobre el contenido bruto, similar a cómo Dijkstra enfatizó la estructura del código.

Perec, como miembro del Oulipo, explora las posibilidades narrativas de las restricciones y estructuras formales. Este libro es un ejemplo magistral de cómo una trama aparentemente sencilla es construida con una base estructural de reglas autoimpuestas, reflejando el rigor y la elegancia que Dijkstra buscó en la composición de programas a partir de estructuras básicas y reglas lógicas.