isStaticallyTyped
P176053
predicate
Indicates that a programming language enforces type checking at compile time rather than at runtime.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| staticTypeChecking | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
|
Cecil: A Pure Object-Oriented Language with Multiple Dispatch and Multiple Inheritance
surface form:
Cecil
|
false ⓘ |
| typing.NewType | enforced by type checkers only via predicate surface "staticTypeChecking" ⓘ |