Loading article…
マルチステージプログラミング（MSP ）は、コンパイルを一連の中間段階に分割し、型安全なランタイムコード生成を可能にするメタプログラミングの一種です。[1] 静的に定義された型は、動的に構築された型が有効であり、型システムに違反していないことを検証するために使用されます。
MSP言語では、式は評価される段階を指定する表記法によって修飾されます。実行時にプログラムを特殊化できるようにすることで、MSPはプログラムのパフォーマンスを最適化できます。これは、実行時の処理速度を上げるためのトレードオフとして、コンパイル時に計算を実行する部分評価の一形態と考えることができます。[2]
多段階プログラミング言語は、スコープ規則が考慮されることを除いて、 Lispの引用符とに似た構造をサポートしています。 [2]eval
参考文献
- ^ Taha, Walid (2004). 「A gentle introduction to multi-stage programming」(PDF) .ドメイン固有のプログラム生成. Springer. pp. 30–50. 2017年8月4日時点のオリジナル(PDF)からアーカイブ。
- ^ ab Taha, Walid; Sheard, Tim (2000). 「MetaML と明示的な注釈による多段階プログラミング」(PDF) .理論計算機科学. 248 (1): 211–242. doi : 10.1016/s0304-3975(00)00053-0 .
外部リンク
- メタOCaml