|
gptkbp:instanceOf
|
gptkb:programming_language
|
|
gptkbp:category
|
multi-paradigm programming language
general-purpose programming language
|
|
gptkbp:designedBy
|
gptkb:Xavier_Leroy
|
|
gptkbp:developer
|
gptkb:INRIA
|
|
gptkbp:fileExtension
|
.ml
.mli
|
|
gptkbp:firstAppearance
|
1996
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
OCaml
|
|
gptkbp:influenced
|
gptkb:Coq
gptkb:Elm
gptkb:F#
gptkb:ReasonML
gptkb:Rust
gptkb:Scala
gptkb:Flow
gptkb:Haxe
gptkb:Eff
|
|
gptkbp:influencedBy
|
gptkb:Lisp
gptkb:Standard_ML
gptkb:Caml
ML
|
|
gptkbp:latestReleaseVersion
|
5.1.1
|
|
gptkbp:license
|
gptkb:LGPL
|
|
gptkbp:packageManager
|
gptkb:opam
|
|
gptkbp:paradigm
|
object-oriented programming
functional programming
imperative programming
|
|
gptkbp:platform
|
Cross-platform
|
|
gptkbp:supports
|
garbage collection
concurrency
modules
type inference
first-class functions
algebraic data types
bytecode compilation
native code compilation
object-oriented features
parametric polymorphism
pattern matching
|
|
gptkbp:typingDiscipline
|
static typing
strong typing
inferred typing
|
|
gptkbp:usedFor
|
research
web development
formal verification
compilers
systems programming
|
|
gptkbp:website
|
https://ocaml.org/
|
|
gptkbp:bfsParent
|
gptkb:list
gptkb:logic
|
|
gptkbp:bfsLayer
|
4
|