Statements (26)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Type_System
|
| gptkbp:allows |
Optional Type Annotations
|
| gptkbp:appliesTo |
Programming Languages
|
| gptkbp:enables |
Combination of Static and Dynamic Typing
Migration from Dynamic to Static Typing Type Safety with Flexibility |
| gptkbp:formedBy |
Blame Calculus
|
| gptkbp:hasConcept |
Blame Tracking
Type Consistency Type Migration Type Precision |
| gptkbp:introduced |
Siek and Taha
|
| gptkbp:introducedIn |
2006
|
| gptkbp:relatedTo |
Static Typing
Type Inference Dynamic Typing Optional Typing |
| gptkbp:usedIn |
gptkb:Clojure
gptkb:Racket gptkb:TypeScript gptkb:Dart gptkb:Flow Python (with type hints) |
| gptkbp:bfsParent |
gptkb:Typed_OCaml
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Gradual Typing
|