|
Paradigm(s) | Multi-paradigm: functional, imperative, modular,[1] object-oriented |
---|
Family | ML |
---|
Appeared in | 1996; 28 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 |