La programación de múltiples etapas ( MSP ) es una variedad de metaprogramación en la que la compilación se divide en una serie de fases intermedias, lo que permite la generación de código en tiempo de ejecución con seguridad de tipos . [1] Los tipos definidos estáticamente se utilizan para verificar que los tipos construidos dinámicamente son válidos y no violan el sistema de tipos.
En los lenguajes MSP, las expresiones se califican mediante una notación que especifica la fase en la que deben evaluarse. Al permitir la especialización de un programa en tiempo de ejecución, MSP puede optimizar el rendimiento de los programas: puede considerarse como una forma de evaluación parcial que realiza cálculos en tiempo de compilación como una compensación para aumentar la velocidad de tiempo de ejecución. Procesando. [2]
Los lenguajes de programación de múltiples etapas admiten construcciones similares a la construcción Lisp de cotización y eval, excepto que se tienen en cuenta las reglas de alcance . [2]
Referencias
- ^ Taha, Walid (2004). "Una suave introducción a la programación de múltiples etapas" (PDF) . Generación de programas específicos de dominio . Saltador. págs. 30–50. Archivado desde el original (PDF) el 4 de agosto de 2017.
- ^ a b Taha, Walid; Sheard, Tim (2000). "Programación MetaML y multietapa con anotaciones explícitas" (PDF) . Informática Teórica . 248 (1): 211–242. doi : 10.1016 / s0304-3975 (00) 00053-0 .
Enlaces externos
