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.

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

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.

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 …

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.

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 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.

The OCaml FFI provides an alternative API to call OCaml code from C that returns a value of type caml_result instead of value. A C value of type caml_result is either an OCaml value returned …

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