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 …

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.

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.

Mar 19, 2026 · OCaml Changelog Official stable release announcements and updates from the OCaml compiler, OCaml infrastructure and the OCaml Platform Tools.

Aug 15, 2025 · Imperative procedures are compared between OCaml and lean – but for some reason it does not give a strictly equivalent bit of OCaml code? The critique of OCaml seems to be that …