The language of the future!
OCaml JavaScript Vim script Makefile CSS Standard ML Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
alphaLib
compiler
corelib
interpreter
lib
mezzolib
misc
ocamlbuild
parsing
stdlib
tests
typing
utils
viewer
vim
web
.ackrc
.gitignore
.gitmodules
META
Makefile
README.md
TAGS
_tags
configure
mezzo.ml
mezzoweb.ml
myocamlbuild.pre.ml
testsuite.ml

README.md

Mezzo, a programming language with permissions

Please see the website for more information, including documentation, papers, blog posts, and even youtube videos.

Installing Mezzo

Mezzo is now in OPAM, just run opam install mezzo.

Learning Mezzo

There's a sample project for you to get started, and a tutorial that's nowhere near finished. We have a website with more research-y material.

Hacking on Mezzo

If you want to hack on the compiler itself, you need:

  • OCaml 4.01.0
  • a properly-working ocamlfind command,
  • the following packages: menhir, yojson, ulex, pprint, functory, fix

We recommend OPAM to easily install these dependencies. Once the dependencies are met, just run:

make

This configures Mezzo and builds it locally. That is, you are not expected to use make install. The Mezzo executable exists locally, and you can run it from there, possibly adding the Mezzo source directory to your PATH.

From there on you can hack on the compiler, write new modules in stdlib, etc. Our website has online links with the auto-generated documentation for the compiler.