Programming as Theory Building: el artículo de Peter Naur

Christian Ekrem ha escrito un artículo fantástico revisitando el ensayo de Peter Naur de 1985, Programming as Theory Building, y aplicándolo al contexto actual de la IA generativa.

Las ideas clave:

Un programa no es su código fuente. El código es solo una representación imperfecta de la teoría — el modelo mental compartido que explica cómo funciona el sistema, por qué funciona así y cómo debe evolucionar. Cuando los desarrolladores se van, la teoría se pierde.

La crisis actual de "código sin teoría" se ha disparado por tres factores: el uso reflejo de IA (aceptar código sin entenderlo), el código ciego al dominio generado por LLMs (estadística sin comprensión del negocio), y el problema de integración (importar decisiones arquitectónicas ajenas que contradicen el modelo de dominio).

Los seniors importan más que nunca como constructores de teoría, guardianes de la coherencia arquitectónica, colaboradores intencionales con IA (usarla para lo mecánico, preservar el juicio humano para lo importante) y mentores que transfieren comprensión profunda.

La IA no puede construir teoría. Los LLMs generan código sintácticamente correcto pero no entienden contexto de negocio, no hacen trade-offs reflexivos, no mantienen integridad conceptual. La pregunta no es si pueden escribir código, sino si podemos mantener los marcos teóricos humanos que transforman código disperso en programas coherentes.

Fuente original: Programming as Theory Building