Learn

Get Started

Learn how to get OCaml set up in your project.
Get Started background

Learn with Exercises

Learning by doing, or do by
learning!
Exercices Background

Language Manual

Read the language manual to get a deeper understanding!
Manual background

Papers

Aspiring towards greater understanding of the language? Want to push the limits and discover brand new things? Check out papers written by leading OCaml researchers:
Eff Directly in OCaml
The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for experimentation with algebraic effects on a large scale. We present the embedding of Eff into OCaml, using the library of delimited continuations or the Multicore OCaml branch. We demonstrate the correctness of the embedding denotationally, relying on the tagless-final-style interpreter-based denotational semantics, including the novel, direct denotational semantics of multi-prompt delimited control. The embedding is systematic, lightweight, performant, and supports even higher-order, 'dynamic' effects with their polymorphism. OCaml thus may be regarded as another implementation of Eff, broadening the scope and appeal of that language.
Oleg Kiselyov, KC Sivaramakrishnan
ocaml-workshop
core
language
A Memory Model for Multicore OCaml
We propose a memory model for OCaml, broadly following the design of axiomatic memory models for languages such as C++ and Java, but with a number of differences to provide stronger guarantees and easier reasoning to the programmer, at the expense of not admitting every possible optimisation.
Stephen Dolan, KC Sivaramakrishnan
ocaml-workshop
multicore
Extending OCaml's `open`
We propose a harmonious extension of OCaml's `open` construct. OCaml's existing construct `open M` imports the names exported by the module `M` into the current scope. At present `M` is required to be the path to a module. We propose extending `open` to instead accept an arbitrary module expression, making it possible to succinctly address a number of existing scope-related difficulties that arise when writing OCaml programs.
Runhang Li, Jeremy Yallop
ocaml-workshop
core
language

Recommended Books

What experts programmers and researchers are saying about OCaml, from the beginner level to the more advanced topics.