The Next 700 Programming Languages

Mientras que el libro de referencia explora la diversidad de lenguajes bajo un marco computacional, Hegel indaga en la diversidad de la razón y su manifestación en la estructura misma del pensamiento. Ambos textos, a su manera, buscan categorizar y comprender un "espacio" de posibilidades, uno en la informática y el otro en la metafísica, revelando las estructuras subyacentes a la creación y el entendimiento.

Aunque no trata directamente con lenguajes de programación, Hofstadter investiga los sistemas formales, la autorreferencia y la emergencia de significado, conceptos cruciales en el diseño y la comprensión de lenguajes. Es una reflexión profunda sobre la naturaleza subyacente de los sistemas simbólicos y sus límites, paralela al desafío de conceptualizar la vastedad de los lenguajes de programación.

Ambos libros comparten una filosofía profunda sobre la naturaleza de los lenguajes de programación, viéndolos no solo como herramientas, sino como marcos para pensar y estructurar el conocimiento. SICP enseña a "pensar computacionalmente" a través de la exploración de ideas fundamentales, un complemento perfecto a la visión de Pierce sobre la diversidad y la taxonomía de los paradigmas de lenguajes.

Aunque de campos muy distintos, la obra de Darwin comparte una arquitectura de pensamiento con la exploración de lenguajes de programación. Ambos observan una vasta diversidad de formas, proponen mecanismos para entender la aparición de nuevas variantes y buscan una taxonomía que refleje sus relaciones fundamentales y evolutivas. La "selección natural" en los lenguajes de programación podría verse en la adopción y obsolescencia de ciertas características o paradigmas.

Ofrece una perspectiva académica y fundamental sobre las bases teóricas de los lenguajes, un marco subyacente para comprender la diversidad discutida por Pierce. Es un texto menos conocido en el ámbito anglófono, pero esencial para entender la arquitectura subyacente a cualquier lenguaje de programación.

Mientras que Pierce explora los lenguajes para la computación, Ivorra Castillo aborda los lenguajes para el razonamiento y la fundamentación de las matemáticas. Ambos tratan con la construcción de sistemas expresivos y los límites de lo que se puede expresar o computar dentro de ellos. La profundidad y el rigor de Ivorra proporcionan un contrapunto filosófico a la diversidad de lenguajes computacionales.

Borges, a través de sus cuentos, a menudo construye sistemas de conocimiento y bibliotecas imaginarias que de alguna manera intentan comprender la totalidad de la información o las posibilidades. La ambición de catalogar y clasificar lo infinito, como en 'La Biblioteca de Babel' o 'El Aleph', resuena con la tarea de Pierce de abordar la diversidad potencialmente infinita de lenguajes de programación y sus interrelaciones.

Calvino construye un catálogo de variedades aparentemente infinitas, cada una descrita con precisión poética, al igual que Pierce intenta delinear los "tipos" de lenguajes de programación. Hay una fascinación estructural compartida por la taxonomía, la categorización y la articulación de la diversidad dentro de un marco conceptual dado. Cada ciudad invisible es como un paradigma de lenguaje, con sus propias reglas y estética.