Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:type_system
|
| gptkbp:basedOn |
gptkb:OCaml_type_system
|
| gptkbp:influencedBy |
gptkb:OCaml
gptkb:ML_family |
| gptkbp:nullSafety |
yes
|
| gptkbp:platform |
gptkb:JavaScript
native code |
| gptkbp:soundness |
gptkb:music
|
| gptkbp:supports |
modules
type inference algebraic data types functors parametric polymorphism pattern matching type aliases record types variant types |
| gptkbp:typeChecking |
static
|
| gptkbp:typeInference |
yes
|
| gptkbp:usedBy |
gptkb:ReasonML
|
| gptkbp:bfsParent |
gptkb:OCaml_type_system
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
ReasonML type system
|