Statements (42)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
type system
|
| https://www.w3.org/2000/01/rdf-schema#label |
OCaml type system
|
| gptkbp:influenced |
gptkb:F#_type_system
gptkb:Flow_type_system gptkb:ReasonML_type_system |
| gptkbp:influencedBy |
gptkb:Caml_type_system
ML type system |
| gptkbp:principalTypes |
yes
|
| gptkbp:soundness |
gptkb:music
|
| gptkbp:subtyping |
limited
|
| gptkbp:supports |
gptkb:GADTs
algebraic data types functors parametric polymorphism type constraints record types object types variant types abstract types existential types extensible variants first-class modules first-class polymorphism local modules mutable record fields open types polymorphic recursion polymorphic variants private types type abbreviations type classes (via modules) type-level computation |
| gptkbp:typeAnnotations |
optional
|
| gptkbp:typeChecking |
static
|
| gptkbp:typeErasure |
no
|
| gptkbp:typeInference |
gptkb:Hindley-Milner
|
| gptkbp:typeSafety |
yes
|
| gptkbp:typeVariables |
yes
|
| gptkbp:usedBy |
gptkb:OCaml
|
| gptkbp:bfsParent |
gptkb:System_F
gptkb:system_F |
| gptkbp:bfsLayer |
6
|