WG211/M22Yallop

From WG 2.11
Jump to: navigation, search

I'll describe work in progress to extend OCaml with support for typed, hygienic, compile-time computation, drawing inspiration and ideas from MetaOCaml and Racket.

File:Macros.pdf