EntityQ212587· pop 41· linked from 452 articles

OCaml

OCaml ( , formerly Objective Caml) is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others.

Key facts

Programming language.name: OCaml
Programming language.logo: OCaml Logo.svg
Programming language.paradigms: Multi-paradigm: functional, imperative, modular, object-oriented
Programming language.family: ML: Caml
Programming language.designers: Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez
Programming language.developer: Inria
Programming language.typing: Inferred, static, strong, structural
Programming language.programming language: OCaml, C
Programming language.platform: IA-32, x86-64, Power, SPARC, ARM 32-64, RISC-V
Programming language.operating system: Cross-platform: Linux, Unix, macOS, Windows
Programming language.license: LGPLv2.1
Programming language.file ext: .ml, .mli
Programming language.influenced by: C, Caml, Modula-3, Pascal, Standard ML
Programming language.influenced: ATS, Rocq (former name: Coq), Elm, F#, F*, Haxe, Opa, Rust, Scala, Gleam
Programming language.wikibooks: OCaml

via Wikipedia infobox

Article

27 sections

Contents

Philosophy
History
Development of ML (Meta Language)
First implementation
Caml Light
Caml Special Light
Objective Caml
Ongoing development
Features
Code examples
Hello World
Option
Summing a list of integers
Quicksort
Birthday problem
Church numerals
Arbitrary-precision factorial function (libraries)
Triangle (graphics)
Fibonacci sequence
Higher-order functions
Derived languages
MetaOCaml
Other derived languages
Software written in OCaml
Users
References
External links

The OCaml toolchain includes an interactive top-level interpreter, a bytecode compiler, an optimizing native code compiler, a reversible debugger, and a package manager (OPAM) together with a composable build system for OCaml (Dune). OCaml was developed first in the context of automated theorem proving, and is used in static analysis and formal methods software. Beyond these areas, it has found use in systems programming, web development, and specific financial utilities, among other application domains.