A functional language with powerful type inference, used in finance and compilers.
Quick facts
What is OCaml
A functional language with powerful type inference, used in finance and compilers.
GitHub Linguist classifies OCaml as a programming language, typically using extensions such as .ml, .eliom, .eliomi, .ml4, .mli, .mll.
File extensions:
Related languages
Frequently asked questions
A functional language with powerful type inference, used in finance and compilers.
Common extensions include .ml, .eliom, .eliomi, .ml4, .mli.
Sources & standards
Updated 2026-08-18
Explore this reference