TWiki> MetaOCaml Web>WebHome (14 Nov 2005, SethFogarty)EditAttach

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.

camel.gif

Getting Started

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.

Edit | Attach | Print version | History: r5 < r4 < r3 < r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r5 - 14 Nov 2005 - 20:46:01 - SethFogarty