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 (3)

Label Occurrences
OCaml canonical 22
Caml 3
OCaml API 1

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 ⓘ
surface form: Bucklescript

bytecode compiler ⓘ
interactive toplevel ⓘ
js_of_ocaml ⓘ
native code compiler ⓘ
hasTool dune ⓘ
ocamlc ⓘ
ocamlopt ⓘ
utop ⓘ
influenced Coq ⓘ
F# ⓘ
ReasonML ⓘ
Rust ⓘ
influencedBy OCaml self-linksurface differs ⓘ
surface form: Caml

Lisp programming language ⓘ
surface form: Lisp

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 (26)

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 → OCaml ⓘ
this entity surface form: Caml
ML → hasSuccessor → OCaml ⓘ
this entity surface form: Caml
ML → hasSuccessor → OCaml ⓘ
OCaml → influencedBy → OCaml self-linksurface differs ⓘ
this entity surface form: Caml
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: An Efficient SMT Solver → supportsInterface → OCaml ⓘ
subject surface form: Z3
this entity surface form: OCaml API
Don Syme → influencedBy → OCaml ⓘ