スプライス変数による多段階プログラミング：安全で予測可能なコード生成

この論文は、プログラムが他のプログラムを生成することを可能にする「多段階プログラミング（MSP）」という新しい手法を紹介しています。安全で予測可能なコード生成を保証するために、著者らは「スプライス変数」という概念を導入しています。スプライス変数は、コード生成プロセスを細かく制御し、コードパターンマッチングや書き換えなどの高度な機能にシームレスに拡張できます。型システムは変数の依存関係を自動的に追跡し、生成されたコードが常に整形式で、適切なスコープを持ち、型チェックが正しく行われることを保証します。この論文では、べき乗関数の生成などの例を通してスプライス変数の威力を示し、コードパターンマッチングや書き換えなどの機能も紹介しています。