Sintaxis Trascendental: Construyendo Abstracciones Lógicas desde un Lenguaje de Bajo Nivel
2025-01-04
Este proyecto de GitHub implementa la 'Sintaxis Trascendental' de Jean-Yves Girard, un método para construir abstracciones lógicas a partir de un lenguaje de bajo nivel, agnóstico a la lógica. Utiliza un lenguaje base llamado 'resolución estelar', donde los objetos elementales (programas) son 'constelaciones'. Estas constelaciones se usan en un lenguaje de nivel superior, 'Stellogen' (un lenguaje de metaprogramación para constelaciones), para definir pruebas y fórmulas. El proyecto está en desarrollo, con la guía actualmente disponible solo en francés.
Desarrollo
metaprogramación