2023-08-21 14:14:27 +00:00
|
|
|
|
#programming-language
|
2023-08-13 06:47:29 +00:00
|
|
|
|
|
2023-08-13 07:48:30 +00:00
|
|
|
|
メタプログラミングの技法の一種。[[MetaOCaml]]などが有名
|
|
|
|
|
|
|
2023-08-20 07:40:27 +00:00
|
|
|
|
https://www.pls-lab.org/en/multi-stage-programming
|
|
|
|
|
|
|
2023-08-13 07:48:30 +00:00
|
|
|
|
日本語での詳細な解説
|
|
|
|
|
|
|
2023-08-21 02:09:19 +00:00
|
|
|
|
MetaOCaml を使った自己反映言語のコンパイル 浅井 健一 (Black )
|
2023-08-20 06:39:31 +00:00
|
|
|
|
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
|
|
|
|
|
|
|
2023-08-26 09:27:50 +00:00
|
|
|
|
筑波大学 論理と計算（2）
|
|
|
|
|
|
http://www.cs.tsukuba.ac.jp/~kam/lecture/gairon2-2012/gairon2.pdf
|
|
|
|
|
|
|
2023-08-20 06:39:31 +00:00
|
|
|
|
λ○: nextとprevを導入
|
|
|
|
|
|
|
|
|
|
|
|
[MetaML](https://www.sciencedirect.com/science/article/pii/S0304397500000530) nextとprevに加えてrunを導入
|
|
|
|
|
|
|
2023-08-27 17:22:00 +00:00
|
|
|
|
[[MacroML]] MetaMLをバックエンドにマクロとしてのわかりやすいシンタックス(`letmac`)とかを導入？
|
|
|
|
|
|
|
2023-08-20 06:39:31 +00:00
|
|
|
|
λ□: box(cross-stage persistence)を導入
|
|
|
|
|
|
|
|
|
|
|
|
λ○□：両方を統合
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[SATySFi の多段階計算入門](https://sankantsu.hatenablog.com/entry/2022/08/19/215024)
|
