Staged Compilation with Module Functors
- 講者江宗儒 先生 (加拿大多倫多大學)
邀請人：陳亮廷 - 時間2024-09-20 (Fri.) 10:00 ~ 11:30
- 地點資訊所新館106演講廳
摘要
In this talk, I will discuss recent updates to MacoCaml, an OCaml extension for compile-time code generation using macros and quotations. I will explain how module functors are integrated and describe the design choices regarding evaluation order and scoping, and the key meta-properties of the new design.