Statements (63)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:album |
Native code compilation
Bytecode compilation |
| gptkbp:community |
Active community
|
| gptkbp:conference |
DLS
Euro LLVM Functional Programming Conference ML Family Workshop OCaml Workshop |
| gptkbp:developer |
gptkb:INRIA
|
| gptkbp:features |
New syntax for records
Performance improvements Improved type inference Enhanced error messages Support for polymorphic variants |
| gptkbp:first_published |
Functional Programming in OCaml
More OCaml OCaml Programming OCaml from the Very Beginning Real World OCaml |
| gptkbp:has_documentation |
Official documentation
|
| https://www.w3.org/2000/01/rdf-schema#label |
OCaml 4.9
|
| gptkbp:is_a_tool_for |
gptkb:OPAM
gptkb:OCamlbuild gptkb:OCamlformat gptkb:Merlin gptkb:Dune |
| gptkbp:is_integrated_with |
Java Script interoperability
C language interoperability |
| gptkbp:language |
gptkb:OCaml
gptkb:Haskell gptkb:F# gptkb:Scala SML Reason ML |
| gptkbp:library |
gptkb:OCaml_standard_library
|
| gptkbp:license |
gptkb:GNU_Lesser_General_Public_License
MIT License |
| gptkbp:notable_users |
gptkb:Mirage_OS
gptkb:Tezos gptkb:Jane_Street gptkb:Docker gptkb:Facebook |
| gptkbp:package_manager |
gptkb:OPAM
|
| gptkbp:paradigm |
Functional programming
Object-oriented programming Imperative programming |
| gptkbp:platform |
Cross-platform
|
| gptkbp:ram |
Garbage collection
|
| gptkbp:release_date |
2017-10-01
|
| gptkbp:successor |
OCaml 4.10
|
| gptkbp:system |
Static typing
Strong typing |
| gptkbp:tutorials |
Online tutorials
|
| gptkbp:type_safety |
Type-safe
|
| gptkbp:usage |
Web development
Academic research Compiler construction Industry applications Systems programming |
| gptkbp:website |
ocaml.org
|
| gptkbp:bfsParent |
gptkb:The_Caml_Language
|
| gptkbp:bfsLayer |
7
|