Statements (69)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:developer |
gptkb:INRIA
|
| gptkbp:features |
Improved performance
Enhanced type inference Support for new libraries New syntax for pattern matching |
| https://www.w3.org/2000/01/rdf-schema#label |
OCaml 4.11
|
| gptkbp:language |
gptkb:OCaml
|
| gptkbp:notable_feature |
Pattern matching
Garbage collection Immutable data structures Concurrency support Extensible syntax First-class functions Type inference Support for cloud computing Support for web programming Support for concurrent programming Support for modular programming Support for web services Support for blockchain development Support for machine learning Interoperability with C Rich type system Support for asynchronous programming Support for big data processing Support for object-oriented programming Support for game development Support for scientific computing Support for artificial intelligence Support for data analysis Support for polymorphism Support for metaprogramming Support for parallel programming Support for type annotations Support for numerical computing Support for Internet of Things (Io T) Support for functional reactive programming Support for optimization algorithms Support for distributed programming Support for mobile programming Modules and functors Support for lazy evaluation Support for higher-order functions Error handling with exceptions Support for algorithmic trading Support for concurrency abstractions Support for domain-specific languages Support for embedded programming Support for functional data structures Support for graph algorithms Support for imperative data structures Support for software transactional memory Support for symbolic computing Support for tail recursion Support for type classes Support for type inference algorithms Support for type-safe programming |
| gptkbp:paradigm |
Functional programming
Object-oriented programming Imperative programming |
| gptkbp:platform |
Cross-platform
|
| gptkbp:predecessor |
OCaml 4.10
|
| gptkbp:release_date |
2021-10-01
|
| gptkbp:successor |
gptkb:OCaml_4.12
|
| gptkbp:system |
Static typing
Strong typing |
| gptkbp:bfsParent |
gptkb:The_Caml_Language
|
| gptkbp:bfsLayer |
7
|