hasTypeSystem
P12987
predicate
Indicates that an entity employs, is governed by, or is associated with a particular type system (a defined set of rules for classifying and constraining types).
All labels observed (5)
| Label | Occurrences |
|---|---|
| typeSystem | 14 |
| hasTypeSystem canonical | 13 |
| taleTypeSystem | 4 |
| runtimeTypeSystem | 1 |
| usesTypeSystem | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: hasTypeSystem
Generated description
Indicates that an entity employs, is governed by, or is associated with a particular type system (a defined set of rules for classifying and constraining types).
Sample triples (33)
| Subject | Object |
|---|---|
| Modula-3 | strongly typed ⓘ |
| Modula-3 | statically typed ⓘ |
| Elm | strong via predicate surface "typeSystem" ⓘ |
| Vale programming language | statically typed via predicate surface "typeSystem" ⓘ |
| Vale programming language | compile-time checked lifetimes via predicate surface "typeSystem" ⓘ |
| Argus | strongly typed ⓘ |
| The Robber Bridegroom |
Aarne–Thompson–Uther Index
via predicate surface "taleTypeSystem"
ⓘ
surface form:
Aarne–Thompson–Uther classification
|
| XPath 2.0 |
XML Schema
via predicate surface "usesTypeSystem"
ⓘ
surface form:
XML Schema type system
|
| XPath 3.0 | sequence types ⓘ |
| XPath 3.0 | item types ⓘ |
| XPath 3.0 | function types ⓘ |
| ISWIM | implicit typing (informal) ⓘ |
| Dart VM | sound type system with runtime checks (for some modes) via predicate surface "runtimeTypeSystem" ⓘ |
| ML | static typing ⓘ |
| M language | static with gradual typing characteristics via predicate surface "typeSystem" ⓘ |
| Standard ML | static typing ⓘ |
| VHDL | strong static typing via predicate surface "typeSystem" ⓘ |
| Crystal | static typing via predicate surface "typeSystem" ⓘ |
| Crystal | type inference via predicate surface "typeSystem" ⓘ |
| PureScript | static type system ⓘ |
| PureScript | Hindley–Milner type system NERFINISHED ⓘ |
|
David Griswold
surface form:
Strongtalk
|
optional static typing ⓘ |
|
system F
surface form:
System F
|
second-order type system ⓘ |
| G programming language | strongly typed via predicate surface "typeSystem" ⓘ |
| G programming language | statically typed at compile time in LabVIEW via predicate surface "typeSystem" ⓘ |
| Cyclone programming language | statically typed via predicate surface "typeSystem" ⓘ |
| The Twelve Dancing Princesses | Aarne–Thompson–Uther Index via predicate surface "taleTypeSystem" NERFINISHED ⓘ |
| The Juniper Tree | Aarne–Thompson–Uther classification via predicate surface "taleTypeSystem" NERFINISHED ⓘ |
| The Devil with the Three Golden Hairs | Aarne–Thompson–Uther Index via predicate surface "taleTypeSystem" NERFINISHED ⓘ |
| Moscow ML | static typing via predicate surface "typeSystem" ⓘ |
| Moscow ML | Hindley–Milner type inference via predicate surface "typeSystem" NERFINISHED ⓘ |
|
Miranda programming language
surface form:
Miranda
|
polymorphic type system via predicate surface "typeSystem" ⓘ |
| Fennel | dynamically typed via predicate surface "typeSystem" ⓘ |