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).
Aliases (1)
- typeSystem ×3
Sample triples (5)
| Subject | Object |
|---|---|
| Elm | strong via predicate surface "typeSystem" → |
| Modula-3 | statically typed → |
| Modula-3 | strongly typed → |
| Vale programming language | compile-time checked lifetimes via predicate surface "typeSystem" → |
| Vale programming language | statically typed via predicate surface "typeSystem" → |