Statements (44)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:developer |
gptkb:INRIA
|
| gptkbp:features |
Pattern matching
Garbage collection Type inference Functional programming support Object-oriented programming support |
| gptkbp:has_documentation |
Official documentation
|
| https://www.w3.org/2000/01/rdf-schema#label |
OCaml 4.0.6
|
| gptkbp:language |
gptkb:OCaml
|
| gptkbp:license |
gptkb:GNU_Lesser_General_Public_License
|
| gptkbp:notable_feature |
gptkb:Modules
Immutable data structures Concurrency support Custom data types Extensible syntax First-class functions Higher-order functions Lazy evaluation Rich standard library Type annotations Support for concurrent programming Support for functional programming Support for modular programming Interoperability with C Pattern guards Support for imperative programming Support for object-oriented programming Tail call optimization Polymorphic variants Object-oriented features Modules and functors Built-in support for concurrent programming Type-safe exceptions |
| gptkbp:paradigm |
Multi-paradigm
|
| gptkbp:platform |
Cross-platform
|
| gptkbp:predecessor |
gptkb:OCaml_4.0.5
|
| gptkbp:release_date |
2013-10-01
|
| gptkbp:repository |
gptkb:Git_Hub
|
| gptkbp:successor |
OCaml 4.01.0
|
| gptkbp:system |
Static typing
Strong typing |
| gptkbp:bfsParent |
gptkb:The_Caml_Language
|
| gptkbp:bfsLayer |
7
|