Programación Multietapa con Variables Splice: Generación de Código Segura y Predecible
Este artículo presenta una técnica novedosa llamada Programación Multietapa (MSP) que permite que los programas generen otros programas. Para asegurar una generación de código segura y predecible, los autores introducen el concepto de "variables splice". Las variables splice proporcionan un control preciso sobre el proceso de generación de código y se escalan sin problemas a características avanzadas como la coincidencia de patrones de código y la reescritura. El sistema de tipos rastrea automáticamente las dependencias de las variables, garantizando que el código generado siempre esté bien formado, correctamente definido y pase las comprobaciones de tipo. El artículo demuestra el poder de las variables splice con ejemplos como la generación de una función de potencia y muestra características como la coincidencia de patrones de código y la reescritura.