OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety.

Getting started with the OCaml programming language. Read the official tutorials, exercices, and language manual.

Hop on the OCaml sightseeing bus. This absolute beginner tutorial will drive you through the marvels and wonders of OCaml. We'll have a look at the most commonly used language features.

OCaml is a mature, statically-typed, functional programming language. Learn more about its rich history and what makes it unique.

Voilà! You've just written your first OCaml program. In the rest of this tutorial, we will make more changes to this project in order to illustrate OCaml's tooling. Watch Mode Before we dive in, note that …

This page will help you install OCaml and the OCaml Platform Tools. | These instructions work on Windows, and Unix systems like Linux, and macOS.

The OCaml system release 5.4 October, 2025 This manual is also available in PDF, plain text, as a bundle of HTML files, and as a bundle of Emacs Info files.

Binary and prefix operators, how to use and define them, how they are parsed and evaluated.

The OCaml Platform The OCaml Platform combines the core OCaml compiler with a coherent set of tools, documentation, libraries, and testing resources. Detailed instructions to install OCaml and the …

The OCaml ecosystem provides ocaml-lsp-server, a Language Server Protocol (LSP) server that delivers editor features such as "jump to definition," "show type," autocompletion, and more.