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 tipográfica . [1] Los tipos definidos estáticamente se utilizan para verificar que los tipos construidos dinámicamente sean válidos y no violen el sistema de tipos.
En los lenguajes MSP, las expresiones se califican mediante 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 compensación para aumentar la velocidad del tiempo de ejecución. Procesando. [2]
Los lenguajes de programación de múltiples etapas admiten construcciones similares a la construcción Lispeval de quote y , excepto que se tienen en cuenta las reglas de alcance . [2]