Staging

 

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课