This site is updated infrequently. For up-to-date information, please visit the new OCaml website at ocaml.org .

The most recent version of OCaml is 4.07.0. It was released on 2018-07-10.

Some of the highlights in release 4.07 are:

The way the standard library modules are organized internally has changed: the List module (for example) is now named Stdlib__list; a new Stdlib module contains a series of aliases such as module List = Stdlib__list ; the Stdlib module is implicitly opened when type-checking OCaml programs (as Pervasives previously was), so that Stdlib.List can be accessed as just List, as before. The purpose of this reorganization is to facilitate the addition of new standard library modules while minimize risks of conflicts with user modules of the same name.

Modules Float (floating-point operations) and Seq (sequences) were added to the standard library, taking advantage of the new organization mentioned above.

The error messages caused by various typing errors have been improved to be easier to understand, in particular for beginners.

Effort has been made to reduce the compilation time of flambda programs, and the size of the generated .cmx files when using the -Oclassic optimisation level.

The HTML manual has benefited from various style improvements and should look visually nicer than previous editions.

Since 4.01, it is possible to select a variant constructor or record field from a sub-module that is not opened in the current scope, if type information is available at the point of use. This now also works for GADT constructors.

The GC should handle the accumulation of custom blocks in the minor heap better; this solves some memory-usage issues observed by code which allocates a lot of small custom blocks, typically small bigarrays.

For more information, please consult the comprehensive list of changes.

Distribution

Source distribution Source tarball (.tar.gz) for compilation under Unix (including Linux and MacOS X) and Microsoft Windows (including Cygwin).

Also available in .tar.xz format.

OPAM and GODI are source-based distributions of OCaml and many companion libraries and tools. Compilation and installation are automated by powerful package managers. The INSTALL file of the distribution provides detailed compilation and installation instruction.

Precompiled binaries for MacOS X We do not distribute binaries for MacOS any more. Mac OS is fully supported by the OPAM package manager.

Precompiled binaries for Microsoft Windows These binaries are no longer available. You can compile from sources following the Windows release notes, or use the experimental OPAM on Windows system.

User's manual The user's manual for OCaml can be: browsed online,

downloaded as a single PDF, PostScript, or plain text document,

downloaded as a single TAR or ZIP archive of HTML files,

downloaded as a single tarball of Emacs info files. The user's manual for OCaml can be:

License

Ocaml is Free Software, copyright INRIA, licensed under the LGPL version 2.1 (with a special exception on static linking). See the full licence. Members of the Caml Consortium benefit from a more liberal license (BSD-like).

Other versions

Many previous releases are still available.

You also have read-only Git access to the working sources and to all previous public releases. See: ocaml/ocaml on Github