Properties (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
programming language
|
| gptkbp:availableFormats |
.ml
|
| gptkbp:designedBy |
gptkb:Xavier_Leroy
|
| gptkbp:developedBy |
gptkb:INRIA
|
| gptkbp:features |
exception handling
garbage collection pattern matching module system |
| gptkbp:firstAppearance |
1996
|
| gptkbp:hasAmenities |
Caml_Light_manual
|
| gptkbp:hasGoals |
ML
|
| gptkbp:hasLibrary |
Caml_Light_standard_library
|
| gptkbp:hasOccupation |
Caml community
|
| gptkbp:hasSkill |
Caml Light interpreter
Caml_Light_compiler |
| gptkbp:hasVersion |
1.0
2.0 3.0 5.0 8.0 4.0 6.0 9.0 7.0 10.0 |
| https://www.w3.org/2000/01/rdf-schema#label |
Caml Light
|
| gptkbp:influencedBy |
ML
|
| gptkbp:isAvailableIn |
GitHub
SourceForge |
| gptkbp:isCompatibleWith |
Windows
Unix-like systems |
| gptkbp:isKnownFor |
performance
conciseness safety expressiveness |
| gptkbp:isPartOf |
Caml_family_of_languages
|
| gptkbp:isUsedFor |
data analysis
scripting web development system programming algorithm implementation |
| gptkbp:isUsedIn |
formal verification
academic research compiler construction teaching programming languages |
| gptkbp:operatingHours |
cross-platform
|
| gptkbp:philosophy |
functional programming
|
| gptkbp:structureType |
static typing
|
| gptkbp:successor |
OCaml
|
| gptkbp:supports |
higher-order functions
type inference first-class functions immutable data structures |
| gptkbp:uses |
functional programming constructs
|