GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
OCaml programming language
URI:
https://gptkb.org/entity/OCaml_programming_language
GPTKB entity
Statements (60)
Predicate
Object
gptkbp:instanceOf
gptkb:programming_language
gptkbp:category
gptkb:ML_family
functional languages
object-oriented languages
gptkbp:compiledBy
gptkb:ocamlc
gptkb:ocamlopt
gptkbp:designedBy
gptkb:Xavier_Leroy
gptkbp:fileExtension
.ml
.mli
gptkbp:firstAppearance
1996
gptkbp:hasInterpreter
ocaml
gptkbp:hasREPL
gptkb:utop
https://www.w3.org/2000/01/rdf-schema#label
OCaml programming language
gptkbp:implementedIn
gptkb:OCaml
gptkbp:influenced
gptkb:F#
gptkb:ReasonML
gptkb:Rust
gptkbp:influencedBy
gptkb:Lisp
gptkb:Caml
ML
gptkbp:latestReleaseVersion
2023-10-10
5.1.1
gptkbp:license
gptkb:LGPL
gptkbp:maintainedBy
gptkb:Inria
gptkbp:notableUser
gptkb:Tezos
gptkb:Bloomberg
gptkb:Facebook
gptkb:Coq
gptkb:Ahrefs
gptkb:Jane_Street
gptkb:Flow
gptkb:LexiFi
gptkb:Docker
gptkb:Citrix
gptkb:OPAM
gptkbp:packageManager
gptkb:OPAM
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:usedFor
gptkb:teacher
research
financial modeling
formal verification
systems programming
gptkbp:website
https://ocaml.org/
gptkbp:bfsParent
gptkb:French_National_Institute_for_Research_in_Computer_Science_and_Automation_(INRIA)
gptkb:Institut_National_de_Recherche_en_Informatique_et_en_Automatique
gptkbp:bfsLayer
6