staging 相关
先囤一下对相关工作吧 hope someday i can understand what’s going on here
ML
MetaML
感觉是 Tim Sheard 和 他的学生 Walid Taha 做过这方面的工作 有很多相关的tutorial
MetaOCaml
Oleg Kiselyov 有做过 MetaOCaml
MacoCaml
Leo White 和 Jeremy Yallop也有做过这个方面的工作
Template Haskell
(不太熟悉这个方向)但是感觉 Ningning Xie 和 Tim Sheard 有写过一些东西
我记得 Jamey Sharp 有说过为什么 MetaML is a better example for staging than template Haskell (something about type checking) but I can’t make sense of it.
Scala
Tiark Rompf 一直在做这个方向的工作 这个 tutorial 比较有用 (注意 github repo 要用 lms-clean 这个branch, master branch好像跑不了)
Tiark也有开过一门meta-programming课
PREVIOUSTufts 24 Spring
NEXTATP ITP 之间