스플라이스 변수를 사용한 다단계 프로그래밍: 안전하고 예측 가능한 코드 생성

이 논문은 프로그램이 다른 프로그램을 생성할 수 있도록 하는 "다단계 프로그래밍(MSP)"이라는 새로운 기법을 소개합니다. 안전하고 예측 가능한 코드 생성을 보장하기 위해 저자들은 "스플라이스 변수"라는 개념을 도입했습니다. 스플라이스 변수는 코드 생성 프로세스를 세밀하게 제어하고 코드 패턴 매칭 및 재작성과 같은 고급 기능으로 원활하게 확장할 수 있습니다. 형식 시스템은 변수의 종속성을 자동으로 추적하여 생성된 코드가 항상 잘 형성되고 적절한 범위를 가지며 형식 검사가 올바르게 수행되도록 합니다. 이 논문에서는 거듭제곱 함수 생성과 같은 예를 통해 스플라이스 변수의 강력함을 보여주고 코드 패턴 매칭 및 재작성과 같은 기능도 소개합니다.