OCaml

An industrial-strength functional programming language with an emphasis on expressiveness and safety

Install About OCaml
Latest release: 5.2.0
Long Term Support release: 4.14.2 
# let square x = x * x
val square : int -> int = < fun >
# square 3
- : int = 9
# let rec fac x =
if x <= 1 then 1 else x * fac (x - 1)
val fac : int -> int = < fun >
# fac 5
- : int = 120
# square 120
- : int = 14400
Try the Playground
illustration of a cup

The OCaml Compiler has been recognised by SIGPLAN for their prestigious Programming Languages Software Award

Fourteen core OCaml developers are featured for their significant contributions to the project
Read more

Trusted by Industry Leaders

These companies and organisations rely on OCaml every day — along with thousands of other developers. See Success Stories
Facebook
Microsoft
Docker
Jane Street
Bloomberg
Tezos
Ahrefs

Why OCaml?

RELIABILITY

Powerful Type Safety Made Simple

OCaml’s lightweight but highly expressive type system catches more bugs at compile time while garbage collection allows you to focus on application logic instead of memory management. Large, complex codebases become easy to maintain and refactor. OCaml empowers you to create mission-critical software with highest security- and safety-requirements in environments with ever-changing requirements!

An example OCaml program defining nested lists in OCaml. A terminal output also shows the compiler catching a type error where a pattern-match was not exhaustive.
PRODUCTIVITY

First-Class Editor and Tooling

OCaml comes with deep integrations for VS Code, Vim or Emacs to provide type inspection, autocomplete and more. Between Opam, a popular package manager; Utop, a powerful interactive REPL; and odoc, an easy-to-use documentation generator, OCaml programmers have access to a complete, modern developer experience.

VS Code
Vim
Emacs

PERFORMANCE
Fast Compiler and Applications

OCaml offers great runtime performance without compromising on developer experience: The bytecode compiler generates small, highly portable executables blazingly fast; the native code compiler produces highly-efficient machine code. Despite this focus on performance, the OCaml compiler has always been exceptionally reliable and stable

Exceptionally Robust and Reliable

Despite all this testing, we have never had a single XenServer defect reported from internal testing or from the field that can be traced back to a bug in the OCaml runtime or compiler. (During development we did once find a minor compiler bug, triggered when compiling auto-generated OCaml code with many function arguments, but this was already fixed in the development branch by the time we reported it and so no interaction with the maintainers at INRIA was required.)
-- Scott, D. & Sharp, R. & Gazagnaire, T. & Madhavapeddy, A. (2010). Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions. ACM SIGPLAN Notices. 45. 87-92. 10.1145/1863543.1863557.

Releases

Recent Releases

5.2.0 (2024-05-13)

  • Reintroduced GC compaction
  • Restored native backend for POWER 64 bits
  • Thread sanitiser support
  • New Dynarray module
  • New -H flag for hidden include directories
  • Project-wide occurence metadata support for developer tools
  • Raw identifiers
  • Local open in type expressions
  • Around 20 new functions in the standard library
  • Many fixes and improvements in the runtime
  • Many bug fixes

5.1.1 (2023-12-08)

  • Marshall.Compression flag removed from the standard library
  • Bug fixes for 5.1.0
See All Releases

Changelog

Releases & Updates

Compiler and Platform Tools

OCaml 5.3.0 - First Beta

One month and half after the release of the first alpha for OCaml 5.3.0, the release of OCaml 5.3....

See full changelog
Dune 3.16.1

We're happy to announce the release of Dune 3.16.1. This is a patch release that fixes an issue wi...

See full changelog
Shell Completions in Dune Developer Preview

_Discuss this post on [Discuss](https://discuss.ocaml.org/t/shell-completions-in-dune-developer-pre...

See full changelog
See Full Changelog

Users of OCaml

OCaml is used by thousands of developers, companies, research labs, teachers, and more. Learn how it fits your use case.

For Educators

With its mathematical roots, OCaml has always had strong ties to academia. It is taught in universities around the world, and has accrued an ever-growing body of research. Learn more about the academic rigor that defines the culture of OCaml.

Learn more

For Industrial Users

OCaml's powerful compile-time guarantees and high performance empower companies to provide reliable and speedy services and products. Learn more about how OCaml is used in the industry: explore success stories and discover companies that use OCaml.

Learn more

Curated Resources

Get up to speed quickly to enjoy the benefits of the OCaml programming language across your projects.

Getting Started

Install OCaml, set up your favorite text editor and start your first project.

Language Manual

Read the reference manual of the language and documentation on the compiler.

Books

Discover OCaml books from expert programmers and researchers - from beginner level to advanced topics.

Standard Library

Searchable API documentation.

Exercises

Learn OCaml by solving problems on a variety of topics, from easy to challenging.

Papers

Explore papers that have influenced OCaml and other functional programming languages.

OCaml Packages

Explore thousands of open-source OCaml packages with their documentation.

Explore packages