compiler.md

tags
compiler

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

• Presentation on OCaml Internals (pdf): excellent presentation on how OCaml is built on the inside.
• Exception handling in OCaml: a StackOverflow answer detailing how exceptions work in OCaml.

Interesting Branches of the Compiler

• Multicore OCaml and its associated wiki
• WASM backend
• Typed Algebraic Effects

Compiler Internals

Parser

ppx

Typechecker

Lambda

Pattern Matching

• Compiling Pattern Matching to Good Decision Trees

Flambda

Clambda

cmm

Register Coloring

assembly