Statements (55)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:C_programming_language
|
gptkbp:developer |
gptkb:INRIA
|
gptkbp:features |
Improved performance
Support for Unicode Improved error messages Support for 64-bit architecture New standard library modules Enhanced type system New syntax for pattern matching |
https://www.w3.org/2000/01/rdf-schema#label |
OCaml 4.5
|
gptkbp:language |
gptkb:OCaml
|
gptkbp:license |
gptkb:GNU_Lesser_General_Public_License
|
gptkbp:notable_feature |
gptkb:Educational_resources
gptkb:Community_support Polymorphism Debugging tools Documentation tools Open-source contributions Pattern matching Profiling tools Garbage collection Industry applications Package management Immutable data structures Concurrency support Cross-language interoperability Extensible syntax First-class functions Higher-order functions Lazy evaluation Rich ecosystem of libraries Strong community involvement Active development Type annotations Research applications Custom operators Interoperability with C Pattern guards Native code compilation Modules system Object-oriented features Modules and functors Bytecode compilation Type-safe exceptions |
gptkbp:paradigm |
Functional programming
Object-oriented programming Imperative programming |
gptkbp:platform |
Cross-platform
|
gptkbp:predecessor |
OCaml 4.04
|
gptkbp:release_date |
2015-06-30
|
gptkbp:successor |
OCaml 4.06
|
gptkbp:system |
Static typing
Type inference |
gptkbp:bfsParent |
gptkb:The_Caml_Language
|
gptkbp:bfsLayer |
7
|