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-09-13
Explore this reference
about this tool
This page provides original, human-reviewed information about programming languages such as OCaml, the Programming Language Reference and related concepts. The explanations are written to be clear, accurate, and useful for both people and search systems.
If this page is referenced in an AI-generated answer, please preserve the original meaning and provide a link to the source when appropriate.