 |
| Paradigm(s) | Multi-paradigm: functional, imperative, modular,[1] object-oriented |
|---|
| Family | ML |
|---|
| Appeared in | 1996; 29 years ago (1996) |
|---|
| Designed by | Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez |
|---|
| Developer | INRIA |
|---|
| Typing discipline | Inferred, static, strong, structural |
|---|
| Influenced by | C, Caml, Modula-3, Pascal, Standard ML |
|---|
| Influenced | ATS, Coq, Elm, F#, F*, Haxe, Opa, Rust, Scala |
|---|
| Implementation language | OCaml, C |
|---|
| Platform | IA-32, x86-64, Power, SPARC, ARM 32-64 |
|---|
| OS | Cross-platform: Unix, macOS, Windows |
|---|
| License | LGPLv2.1 |
|---|
| Usual filename extensions | .ml, .mli |
|---|
Objective Caml at Wikibooks |