Objective Caml

GPTKB entity

Statements (34)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:alsoKnownAs gptkb:OCaml
gptkbp:category multi-paradigm programming language
gptkbp:designedBy gptkb:Xavier_Leroy
gptkbp:developedBy gptkb:INRIA
gptkbp:fileExtension .ml
.mli
gptkbp:firstAppearance 1996
https://www.w3.org/2000/01/rdf-schema#label Objective Caml
gptkbp:influenced gptkb:F#
gptkb:ReasonML
gptkb:Rust
gptkbp:influencedBy gptkb:Caml
ML
gptkbp:latestReleaseVersion 4.14.0
gptkbp:license gptkb:LGPL
gptkbp:paradigm object-oriented programming
functional programming
imperative programming
gptkbp:platform cross-platform
gptkbp:supports garbage collection
modules
type inference
first-class functions
algebraic data types
object-oriented features
parametric polymorphism
pattern matching
gptkbp:typingDiscipline strong
static
inferred
gptkbp:website https://ocaml.org/
gptkbp:bfsParent gptkb:Clojure_programming_language
gptkbp:bfsLayer 7