View on GitHub Edit this page

OCamlverse

Documenting everything about OCaml

Compiler

The OCaml compiler is a complicated software artifact. Below is an attempt to document information that could not fit easily into the codebase, including relevant papers. Feel free to break this up into pages as the need arises.

Articles

Interesting Branches of the Compiler

Compiler Internals

  • hacking.adoc: a basic guide to the compiler’s internals.

Parser

ppx

Typechecker

Lambda

Pattern Matching

Flambda

Clambda

cmm

Register Coloring

assembly