OCaml programming language

GPTKB entity

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
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 gptkb: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
https://www.w3.org/2000/01/rdf-schema#label	OCaml programming language