OCaml

E131758
ML-family language compiled language functional programming language programming language statically typed language

OCaml is a statically typed functional programming language from the ML family, known for its powerful type system, pattern matching, and efficient native code compilation.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (7)

Label Occurrences
OCaml canonical 43
Caml 4
OCaml programming language 2

How this entity was disambiguated

Statements (59)

Predicate Object
instanceOf ML-family language ⓘ
compiled language ⓘ
functional programming language ⓘ
programming language ⓘ
statically typed language ⓘ
countryOfOrigin France ⓘ
developer INRIA ⓘ
family ML ⓘ
fileExtension .ml ⓘ
.mli ⓘ
hasCreator Xavier Leroy ⓘ
hasImplementation Bucklescript ⓘ
linked to: BuckleScript

bytecode compiler ⓘ
interactive toplevel ⓘ
js_of_ocaml ⓘ
native code compiler ⓘ
hasTool dune ⓘ
ocamlc ⓘ
ocamlopt ⓘ
utop ⓘ
influenced Coq ⓘ
F# ⓘ
ReasonML ⓘ
Rust ⓘ
influencedBy Caml ⓘ
linked to: OCaml

Lisp ⓘ
linked to: Lisp programming language

Standard ML ⓘ
license LGPL with linking exception ⓘ
paradigm functional programming ⓘ
imperative programming ⓘ
object-oriented programming ⓘ
standardPackageManager opam ⓘ
supportsFeature algebraic data types ⓘ
closures ⓘ
exceptions ⓘ
first-class functions ⓘ
functors ⓘ
garbage collection ⓘ
labeled arguments ⓘ
modules ⓘ
objects ⓘ
optional arguments ⓘ
parametric polymorphism ⓘ
pattern matching ⓘ
polymorphic variants ⓘ
tail-call optimization ⓘ
type inference ⓘ
supportsPlatform Linux ⓘ
Unix-like systems ⓘ
Windows ⓘ
macOS ⓘ
typeDiscipline inferred types ⓘ
static typing ⓘ
strong typing ⓘ
useCase compilers ⓘ
financial systems ⓘ
formal verification tools ⓘ
static analysis tools ⓘ
systems programming ⓘ

How these facts were elicited

Referenced by (53)

Full triples — surface form annotated when it differs from this entity's canonical label.

Elm → influencedBy → OCaml ⓘ
ReasonML → basedOn → OCaml ⓘ
ReasonML → hostLanguage → OCaml ⓘ
ReasonML → relatedTo → OCaml ⓘ
lambda calculus → influenced → OCaml ⓘ
F# → influencedBy → OCaml ⓘ
Nikolaj Bjørner → programmingLanguage → OCaml ⓘ
Scala → influencedBy → OCaml ⓘ
ML → influenced → OCaml ⓘ
ML → influenced → Caml ⓘ
linked to: OCaml
ML → hasSuccessor → Caml ⓘ
linked to: OCaml
ML → hasSuccessor → OCaml ⓘ
OCaml → influencedBy → Caml ⓘ
linked to: OCaml
BuckleScript → programmingLanguage → OCaml ⓘ
BuckleScript → supportsLanguage → OCaml ⓘ
BuckleScript → writtenIn → OCaml ⓘ
bs-platform → supportsLanguage → OCaml ⓘ
bs-platform → programmingLanguage → OCaml ⓘ
bs-platform → relatedProject → OCaml ⓘ
ReasonReact → programmingLanguage → OCaml ⓘ
ReasonReact → relatedTo → OCaml ⓘ
Jordan Walke → usedProgrammingLanguage → OCaml ⓘ
Standard ML → influenced → OCaml ⓘ
Hindley–Milner type system → usedIn → OCaml ⓘ
Z3 → supportsInterface → OCaml API ⓘ
subject linked to: Z3: An Efficient SMT Solver
linked to: OCaml
Don Syme → influencedBy → OCaml ⓘ
Coq → canExtractTo → OCaml ⓘ
Coq → writtenIn → OCaml ⓘ
Apache Thrift → programmingLanguage → OCaml ⓘ
Abella → writtenIn → OCaml ⓘ
ML language family → hasMember → OCaml ⓘ
ML language family → hasMember → Caml ⓘ
linked to: OCaml
Xavier Leroy → knownFor → OCaml programming language ⓘ
linked to: OCaml
Xavier Leroy → contributedTo → OCaml standard library ⓘ
linked to: OCaml
js_of_ocaml → programmingLanguage → OCaml ⓘ
opam → programmingLanguage → OCaml ⓘ
opam → writtenIn → OCaml ⓘ
ocamlc → developedFor → OCaml programming language ⓘ
linked to: OCaml
ocamlc → inputLanguage → OCaml ⓘ
ocamlc → implementedIn → OCaml ⓘ
utop → programmingLanguage → OCaml ⓘ
utop → writtenIn → OCaml ⓘ
Hongbo Zhang → programmingLanguageWorkedOn → OCaml ⓘ
BuckleScript → programmingLanguage → OCaml ⓘ
subject linked to: Hongbo Zhang
ocamlopt → programmingLanguage → OCaml ⓘ
ocamlopt → implements → OCaml language specification ⓘ
linked to: OCaml
ocamlopt → writtenIn → OCaml ⓘ
hh_client → programmingLanguage → OCaml ⓘ
Cairo → hasLanguageBinding → OCaml ⓘ
HM type system → usedIn → OCaml ⓘ