From WG 2.11
Jump to: navigation, search

A lightweight approach to module generation by Yukiyoshi Kameyama (joint work with Takahisa Watanabe)

The MetaML-style approach for code generation allows one to generate terms in a type-safe way, while generating other syntactic entities such as types and modules is yet to be studied. In this talk, we discuss design space for the languages that allow generation of (code of) modules, and report our recent work on extending (core) MetaOCaml.