Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
type system
|
| gptkbp:announced |
2014
|
| gptkbp:appliesTo |
gptkb:Ruby_programming_language
|
| gptkbp:developedBy |
gptkb:Ruby_core_team
|
| gptkbp:heldBy |
static type checker
type annotation system |
| https://www.w3.org/2000/01/rdf-schema#label |
Typed Ruby
|
| gptkbp:influencedBy |
gptkb:TypeScript
gptkb:Flow Gradual typing |
| gptkbp:language |
gptkb:Ruby
|
| gptkbp:purpose |
add static typing to Ruby
|
| gptkbp:relatedTo |
gptkb:RBS
Sorbet Steep |
| gptkbp:status |
experimental
|
| gptkbp:bfsParent |
gptkb:Lambda_calculus
gptkb:system_F |
| gptkbp:bfsLayer |
6
|