OCaml
A fast ML-family language with strong type inference, used for compilers, finance and formal tools. See how developers rate it month by month on DTDb.
- Category
- programming language
- Developer
- Inria and the OCaml community
- Created by
- Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy
- First release
- 1996
- License
- LGPL-2.1 with linking exception
- Open source
- Yes
- Pricing
- Free
- Website
- https://ocaml.org
- Paradigms
- Functional, Object-oriented, Procedural
- Typing
- Static
- Type strength
- Strong
- Type inference
- Yes
- Memory management
- Garbage collected
- Runs as
- Native code
- Main implementation
- OCaml native compiler (ocamlopt)
- Concurrency
- Domains (multicore since OCaml 5), effect handlers, Eio, Lwt
- Null safety
- Yes
- Package manager
- opam
- Used for
- Back end, Systems
- Specification
- None, the OCaml manual is the reference