Многоступенчатое программирование - Multi-stage programming - Wikipedia

Многоступенчатое программирование (MSP) является разновидностью метапрограммирование в котором компиляция делится на ряд промежуточных фаз, что позволяет безопасный генерация кода времени выполнения.[1]Статически определенные типы используются для проверки того, что динамически создаваемые типы допустимы и не нарушают систему типов.

В языках MSP выражения квалифицируются нотацией, которая определяет фазу, на которой они должны быть оценены. Допуская специализацию программы во время выполнения, MSP может оптимизировать производительность программ: это можно рассматривать как форму частичная оценка который выполняет вычисления во время компиляции в качестве компромисса для увеличения скорости обработки во время выполнения.[2]

Языки многоэтапного программирования поддерживают конструкции, подобные Лисп построение цитаты и оценка, Кроме этого обзор правила принимаются во внимание.[2]

Рекомендации

  1. ^ Таха, Валид (2004). «Нежное введение в многоступенчатое программирование» (PDF). Генерация программ для конкретных доменов. Springer. С. 30–50. Архивировано из оригинал (PDF) 4 августа 2017 года.
  2. ^ а б Таха, Валид; Шеард, Тим (2000). «MetaML и многоэтапное программирование с явными аннотациями» (PDF). Теоретическая информатика. 248 (1): 211–242. Дои:10.1016 / s0304-3975 (00) 00053-0.

внешняя ссылка