Stephen Kell, en un ensayo publicado en su blog, reflexiona sobre la orientación dominante en la implementación de lenguajes de programación y, por extensión, en la infraestructura del software. El autor parte de una idea clásica: la ciencia de la computación suele operar de forma «hacia delante» y «existencial», eligiendo una abstracción, realizando una concreción concreta y ocultando sus detalles para que el código cliente dependa solo de la interfaz. Ese esquema, argumenta Kell, ha modelado décadas de diseño de lenguajes y compiladores.
El artículo contrasta esa visión con dos alternativas menos exploradas: lo «proposicional» (propio de las ABI, que hacen públicas y estables ciertas decisiones de implementación para permitir interoperabilidad entre implementaciones independientes) y lo «universal» (característico de los depuradores, que consumen descripciones legibles por máquina de los detalles concretos para reconstruir la vista abstracta de cualquier posible concreción dentro de un dominio). Kell sostiene que estas capacidades —ir hacia atrás y reconocer múltiples concreciones— son necesarias para una infraestructura robusta, pero han sido descuidadas por una disciplina más fascinada por la elegancia matemática que por la adaptabilidad.
A modo de ejemplo concreto, el autor analiza la optimización en tiempo de enlazado (LTO): en lugar de elevar archivos objeto a una representación intermedia para optimizarlos en su combinación real, los compiladores contemporáneos retrasan el descenso a código máquina, embebiendo IR en secciones adicionales y sustituyendo un verdadero «ir hacia atrás» por contorsiones que preservan la uniformidad existencial. Kell vincula esa preferencia con una crítica más amplia: las implementaciones «modernas» de lenguajes absorben cada vez más herramientas (enlazado, compilación, depuración, empaquetado), lo que genera monocultura y fragmentación, y aleja al software de las cualidades blandas y adaptativas de los sistemas biológicos. Cierra con dos anécdotas personales sobre la resistencia estética e incluso «científica» que despiertan los enfoques universales y retrospectivos entre implementadores de lenguajes.