多段階プログラミング

マルチステージプログラミング（MSP ）は、コンパイルを一連の中間フェーズに分割し、型安全な実行時コード生成を可能にするメタプログラミングの一種です。^[¹^] 静的に定義された型は、動的に構築された型が有効であり、型システムに違反していないことを検証するために使用されます。

MSP言語では、式は評価されるフェーズを指定する表記法によって修飾されます。実行時にプログラムを特殊化することで、MSPはプログラムのパフォーマンスを最適化できます。これは、コンパイル時に計算を実行して実行時処理の速度を向上させるトレードオフとして、部分評価の一形態と考えることができます。 ^{[ 2 ]}

多段階プログラミング言語は、スコープ規則が考慮される点を除いて、Lispの引用と構文に似た構文をサポートしています。 ^[²^]eval

参考文献

↑ Taha, Walid (2004). "多段階プログラミングへの優しい入門" (PDF) . Domain-Specific Program Generation . Springer. pp. 30–50 . 2017年8月4日にオリジナル(PDF)からアーカイブされました。
1 2 Taha, Walid; Sheard, Tim (2000). "MetaMLと明示的な注釈による多段階プログラミング" (PDF) . Theoretical Computer Science . 248 (1): 211– 242. doi : 10.1016/s0304-3975(00)00053-0 .

外部リンク

MetaOCaml

[1] Taha, Walid (2004). "多段階プログラミングへの優しい入門" (PDF) . Domain-Specific Program Generation . Springer. pp. 30–50 . 2017年8月4日にオリジナル(PDF)からアーカイブされました。

[tcs00-2] 1 2 Taha, Walid; Sheard, Tim (2000). "MetaMLと明示的な注釈による多段階プログラミング" (PDF) . Theoretical Computer Science . 248 (1): 211– 242. doi : 10.1016/s0304-3975(00)00053-0 .

[

[ 2 ]

参考文献

外部リンク

関連するトピック

型安全な

実行時コード生成を可能にする

メタプログラミング

部分評価の一形態と考えることができます。