 | |
| Paradigması | Multiparadigmalı: fonksiyonel, imperatif, moduler, nesne yönelimli |
|---|---|
| Tasarımcı | Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez |
| Geliştirici | Inria |
| Kararlı sürüm | 5.5.0 
(19 Haziran 2026)) |
| Tür disiplini | Çıkarımsanan, statik, güçlü, yapısal |
| Etkilendikleri | C, Caml, Modula-3, Pascal, Standard ML |
| Etkiledikleri | ATS, Coq, Elm, F#, F*, Haxe, Opa, Rust, Scala |
| Uygulama dili | OCaml, C |
| Platformu | IA-32, x86-64, Power, SPARC, ARM 32-64, RISC-V |
| İşletim sistemi | Cross-platform: Linux, Unix, macOS, Windows |
| Lisans | LGPLv2.1 |
| Olağan dosya uzantıları | .ml, .mli |
| Web sitesi | ocaml.org |
| Ailesi | ML: Caml |
OCaml, Fransız Ulusal Bilişim ve Uygulamaları Araştırma Kurumunda (INRIA) Xavier Leroy tarafından geliştirilen, ücretsiz ve özgür bir lisans altında sunulan, ML programlama dilleri ailesine mensup, hem yorumlanan hem de derlenip doğal makine koduna dönüştürülebilen gelişmiş bir fonksiyonel programlama dilidir.
