|
Welcome to the Rice PLT homepage of MetaOCamlA compiled, type-safe, multi-stage programming language.
Download current (August 21st, 2004) (or archived distributions) and follow instructions in INSTALL-META. For Windows, you'll need Cygwin
New! At GPCE 2004 there will be a MetaOCaml Tutorial and Workshop |
|
|
|
|
MetaOCaml is a multi-stage
extension of the OCaml programming
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.
- Slides from tutorial at OOPSLA/GPCE 2004
- A Genle Introduction to Multi-stage Programming (pdf)
- First 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, Jason Lee Eckhardt
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