Abstract is: OCaml (/oʊˈkæməl/ oh-KAM-əl, formerly Objective Caml) is a general-purpose, multi-paradigm programming language which extends the Caml dialect of ML with object-oriented features. OCaml was created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, , and others. The OCaml toolchain includes an interactive top-level interpreter, a bytecode compiler, an optimizing native code compiler, a reversible debugger, and a package manager (OPAM). OCaml was initially developed in the context of automated theorem proving, and has an outsize presence in static analysis and formal methods software. Beyond these areas, it has found serious use in systems programming, web development, and financial engineering, among other application domains. The acronym CAML originally stood for Categorical Abstract Machine Language, but OCaml omits this abstract machine. OCaml is a free and open-source software project managed and principally maintained by the French Institute for Research in Computer Science and Automation (Inria). In the early 2000s, elements from OCaml were adopted by many languages, notably F# and Scala.
P9618 | AlternativeTo software ID | ocaml |
P3442 | Debian stable package | ocaml |
P3463 | Fedora package | ocaml |
P646 | Freebase ID | /m/09wmx |
P9100 | GitHub topic | ocaml |
P227 | GND ID | 7578649-7 |
P244 | Library of Congress authority ID | sh2007000473 |
P8189 | National Library of Israel J9U ID | 987007547107805171 |
P1015 | NORAF ID | 10016856 |
P11201 | official demo URL | https://ocaml.org/play |
P856 | official website | https://ocaml.org/ |
P7788 | openSUSE package | ocaml |
P9602 | OSDN project | freshmeat_ocaml |
P11410 | Programming Language Database ID | ocaml |
P3417 | Quora topic ID | OCaml-programming-language |
P6611 | Semantic Scholar topic ID | 124215 |
P1482 | Stack Exchange tag | https://stackoverflow.com/tags/ocaml |
P2078 | user manual URL | https://v2.ocaml.org/manual/ |
P214 | VIAF ID | 8149106282068492326 |
P3553 | Zhihu topic ID | 19673704 |
P275 | copyright license | Q Public License | Q1396282 |
GNU Lesser General Public License, version 2.1 | Q18534390 | ||
P6216 | copyright status | copyrighted | Q50423863 |
P287 | designed by | Xavier Leroy | Q3570727 |
Damien Doligez | Q5212421 | ||
P178 | developer | Institut National de Recherche en Informatique et en Automatique | Q1146208 |
P8131 | dialect of computer language | ML | Q860654 |
P1889 | different from | occam | Q838062 |
P1195 | file extension | ml | |
mli | |||
P571 | inception | 1996-01-01 | |
P737 | influenced by | Standard ML | Q597330 |
P138 | named after | Caml | Q1118153 |
P306 | operating system | Unix-like operating system | Q14656 |
P277 | programmed in | C | Q15777 |
OCaml | Q212587 | ||
P3966 | programming paradigm | object-oriented programming | Q79872 |
functional programming | Q193076 | ||
imperative programming | Q275596 | ||
modular programming | Q6453666 | ||
P348 | software version identifier | 5.2.0 | |
P910 | topic's main category | Category:OCaml programming language family | Q8690746 |
P7078 | typing discipline | inference typing | Q586459 |
structural typing | Q936724 | ||
strong typing | Q991202 | ||
static typing | Q1940914 |
Q19599372 | Alt-Ergo |
Q266257 | Apache Thrift |
Q4034701 | BLAST model checker |
Q2927959 | Bulk Synchronous Parallel ML |
Q5026842 | Camlp4 |
Q5139163 | Coccinelle |
Q5155256 | CompCert |
Q1131652 | Coq |
Q5190795 | CryptoVerif |
Q28974821 | Eliom |
Q2251820 | FFTW |
Q5477849 | Frama-C |
Q5514053 | GODI |
Q1226211 | GeneWeb |
Q5635438 | HOL Light |
Q15971618 | Hack |
Q285886 | Haxe |
Q18150679 | HipHop Virtual Machine |
Q48996266 | Infer Static Analyzer |
Q6557520 | Liquidsoap |
Q1063566 | MLDonkey |
Q4043488 | MTASC |
Q5391687 | Marionnet |
Q6787610 | Matita |
Q120381141 | Melange |
Q88879487 | MirageOS |
Q212587 | OCaml |
Q386964 | Ocsigen |
Q603143 | PhoX |
Q7246703 | ProVerif |
Q102522165 | Pyre |
Q116885321 | ReScript |
Q63565848 | Reason |
Q59641318 | SATySFi |
Q2240426 | SLAM project |
Q124653445 | Sparklis |
Q55290870 | Tezos |
Q1758316 | Unison |
Q111269149 | flow |
Q28975278 | opam |
Q60885542 | rustc |
Q446791 | texvc |
P11410 | Programming Language Database ID | Wikidata property example | P1855 |
Q838062 | occam | different from | P1889 |
Q8690746 | Category:OCaml programming language family | category's main topic | P301 |
Q120381141 | Melange | supports programming language | P3985 |
Q15894890 | Outreachy | participant | P710 |
Q126366958 | OCaml De la syntaxe de base à la programmation fonctionnelle | main subject | P921 |
Q63565848 | Reason | inspired by | P941 |
OCaml | wikibooks | |
Objective Caml | wikibooks | |
OCaml | wikibooks | |
Arabic (ar / Q13955) | لغة كامل الموضوعية | wikipedia |
az | OCaml | wikipedia |
Catalan (ca / Q7026) | OCaml | wikipedia |
OCaml | wikipedia | |
OCaml | wikipedia | |
OCaml | wikipedia | |
OCaml | wikipedia | |
OCaml | wikipedia | |
en-simple | OCaml | wikipedia |
Persian (fa / Q9168) | اکمل | wikipedia |
OCaml | wikipedia | |
OCaml | wikipedia | |
gl | Ocaml | wikipedia |
OCaml | wikipedia | |
OCaml | wikipedia | |
OCaml | wikipedia | |
ობიექტური კამლი | wikipedia | |
OCaml | wikipedia | |
ml | ഒകാമൽ | wikipedia |
OCaml | wikipedia | |
nb | OCaml | wikipedia |
Ocaml | wikipedia | |
Norwegian, Nynorsk (nn / Q25164) | OCaml | wikipedia |
OCaml | wikipedia | |
OCaml | wikipedia | |
OCaml | wikipedia | |
Ocaml | wikipedia | |
OCaml | wikipedia | |
OCaml | wikipedia | |
Objective Caml | wikipedia | |
OCaml | wikipedia | |
OCaml | wikipedia | |
OCaml | wikiversity |
Search more.