MetaOCaml

A compiled, type-safe, multi-stage programming language. Download current (November 1st, 2005) (or archived distributions) and follow instructions in INSTALL-META. For Windows, you'll need Cygwin. New! MetaOCaml examples written by various authors New! At GPCE 2005 there will be a MetaOCaml Tutorial and Workshop. MetaOCaml is a multi-stage extension of the OCaml language, and provides three basic constructs called Brackets, Escape, and Run for building, combining, and executing future-stage computations, respectively. (Please read README-META file in distribution for MetaOCaml's syntax for these constructs). MetaOCaml is a compiled dialect of MetaML. Learn more about multi-stage programming.

Getting Started

• Slides from tutorial at OOPSLA/GPCE 2004
• A Genle Introduction to Multi-stage Programming pdf
• Dirst three chapters Multi-stage programming: Its theory and applications
• For OCaml basics recommend either the online texbook or this tutorial.
• Subscribe to the MetaOCaml-users or MetaOCaml-developers mailing list.

Related Systems

MetaML An interpreted, multi-stage ML	Tempo A C partial evaluation system	DyC A dynamic compilation framework
'C A compiled, two-level C	Fabius An RTCG ML compiler

The MetaOCaml Team

Contributors

Liwen Huang

Acknowledgments

This work was funded by NSF ITR on "Putting Multi-stage Annotations to Work". This page was designed with the help of Molly Bigelow.