다단계 프로그래밍
Multi-stage programming다단계 프로그래밍(MSP)은 다양한 메타프로그래밍으로 컴파일이 일련의 중간 단계로 나뉘어져 유형별로 런타임 코드 생성이 가능하다.[1]정적으로 정의된 형식은 동적으로 구성된 형식이 유효하며 형식 시스템을 위반하지 않는지 확인하는 데 사용된다.
MSP 언어에서 표현식은 평가될 단계를 지정하는 표기법에 의해 검증된다.MSP는 런타임에 프로그램의 전문화를 허용함으로써 프로그램의 성능을 최적화할 수 있다. 즉, 컴파일 시간에 계산을 수행하여 런타임 처리 속도를 높이는 부분 평가의 한 형태로 간주할 수 있다.[2]
다단계 프로그래밍 언어 지원 - 인용문의 Lisp 구성과 유사한 구성eval범위 지정 규칙이 고려되는 것을 제외한다.[2]
참조
- ^ Taha, Walid (2004). "A gentle introduction to multi-stage programming" (PDF). Domain-Specific Program Generation. Springer. pp. 30–50. Archived from the original (PDF) on August 4, 2017.
- ^ a b Taha, Walid; Sheard, Tim (2000). "MetaML and multi-stage programming with explicit annotations" (PDF). Theoretical Computer Science. 248 (1): 211–242. doi:10.1016/s0304-3975(00)00053-0.
