http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM9KiselyovShan 2026-04-05T21:11:22Z Revision history for this page on the wiki MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M9KiselyovShan&diff=315&oldid=prev 2011-12-12T10:06:29Z

<p>1 revision</p> <p><b>New page</b></p><div>[[Category:WG211]]<br /> <br /> <br /> ==The MetaOCaml files==<br /> ==Oleg Kiselyov, Chung-chieh Shan==<br /> <br /> MetaOCaml, a dialect of OCaml, is the best-developed way today to write custom code generators and assure them type-safe across multiple stages of computation. We report on the status of the ongoing MetaOCaml project, focusing on the gap between theory and practice and the difficulties that arise in a full-featured staged language rather than an idealized calculus. It is not clear, even in theory, how staging interacts with effects, polymorphism, user-defined data types, and the module system. We highlight foundational problems in type soundness and cross-stage persistence that demand investigation.</div>

Admin