Una Arquitectura para los Lenguajes de Programación

Aunque ambos son manuales técnicos pioneros de programación, la conexión no es obvia porque se enfoca en una máquina comercial específica (IBM 650) en lugar de en conceptos arquitectónicos generales para lenguajes. Ambos capturan la práctica pragmática de programar en la era de las máquinas de almacenamiento intermedio, pero desde plataformas y propósitos distintos.

Es una recomendación no obvia porque se aleja del enfoque práctico de programación de Wilkes hacia una teoría general de sistemas de control y comunicación. Sin embargo, comparte la misma era fundacional de la computación y explora los principios lógicos y de retroalimentación que subyacen al diseño de sistemas complejos, incluidos los lenguajes de programación.

Profundiza en la idea de arquitectura para lenguajes al plantear un sistema que utiliza el sentido común (Advice Taker), conectando con la búsqueda de Wilkes de estructuras formales para la expresión de programas. Ambos textos abordan la cuestión filosófica de cómo diseñar un marco en el que se puedan expresar y ejecutar procesos de pensamiento complejos de manera mecánica.

Profundiza en los fundamentos lógico-matemáticos de un lenguaje de programación (LISP), conectando directamente con la búsqueda de Wilkes de una arquitectura base. Mientras Wilkes aborda la preparación práctica, McCarthy desentraña la teoría profunda de la recursión y el cómputo simbólico como cimientos para el diseño de lenguajes.

Es un texto seminal pero poco conocido fuera de los círculos académicos especializados en Europa. Establece el teorema de estructura que demuestra que cualquier programa puede escribirse usando solo secuencia, selección e iteración, proporcionando una base teórica fundamental para la arquitectura de los lenguajes, resonando con el trabajo fundacional de Wilkes.

Ofrece una perspectiva desde la escuela soviética de informática, a menudo pasada por alto en las narrativas occidentales. Ershov, pionero en compiladores y enseñanza de la programación, aborda los mismos problemas fundamentales de traducir el pensamiento algorítmico a instrucciones de máquina, paralelo al esfuerzo de Wilkes por sistematizar la preparación de programas.

Comparte la estructura de ser una colección de notas o memorandos técnicos (EWD249) que descomponen sistemáticamente un problema complejo (la estructura de programas) en sus componentes lógicos. Al igual que el texto de Wilkes, utiliza un enfoque arquitectónico y modular para explicar conceptos, construyendo un argumento a partir de principios claramente definidos.

Estructuralmente, este artículo influyente presenta un modelo formal (la traducción dirigida por la sintaxis) que es análogo a la idea de una 'arquitectura' para definir lenguajes. Propone un marco sistemático para especificar la traducción de un lenguaje a otro, reflejando el espíritu de Wilkes de proporcionar un diseño subyacente para la implementación de lenguajes.