Staged Compilation with Module Functors
- LecturerMr. Tsung-Ju Chiang (University of Toronto, Canada)
Host: Liang-Ting Chen - Time2024-09-20 (Fri.) 10:00 ~ 11:30
- LocationAuditorium 106 at IIS new Building
Abstract
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.