Hispanopedia WikiLa programación multietapa ( 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 sean válidos y no violen 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 una forma de evaluación parcial que realiza cálculos en tiempo de compilación a cambio de aumentar la velocidad de procesamiento en tiempo de ejecución. [ 2 ]
Los lenguajes de programación multietapa admiten construcciones similares a la construcción de Lispeval de comillas y , excepto que se tienen en cuenta las reglas de alcance . [ 2 ]
Referencias
- ↑ Taha, Walid (2004). "Una introducción sencilla a la programación multietapa" (PDF) . Generación de programas específicos de dominio . Springer. págs. 30–50 . Archivado del original (PDF) el 4 de agosto de 2017.
- 1 2 Taha, Walid; Sheard, Tim (2000). "MetaML y programación multietapa con anotaciones explícitas" (PDF) . Theoretical Computer Science . 248 (1): 211– 242. doi : 10.1016/s0304-3975(00)00053-0 .
Enlaces externos
- MetaOCaml
- paradigmas de programación
- Sistemas de tipos
