quartz-research-note/content/多段階計算.md

856 B

title tags
多段階計算
programming-language

メタプログラミングの技法の一種。MetaOCamlなどが有名

https://www.pls-lab.org/en/multi-stage-programming

日本語での詳細な解説

MetaOCaml を使った自己反映言語のコンパイル 浅井 健一 (Black ) http://www.is.ocha.ac.jp/~asai/jpapers/ppl/asai14.pdf

メタプログラミングのための時相論理に基づく型付 λ 計算 湯瀬 芳洋 五十嵐 淳 http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/papers/pdf/lambdaCB-PPL05.pdf

λ○: nextとprevを導入

MetaML nextとprevに加えてrunを導入

λ□: box(cross-stage persistence)を導入

λ○□:両方を統合

SATySFi の多段階計算入門