Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:programming_language
|
| gptkbp:announced |
gptkb:José_Valim
2023 |
| gptkbp:basedOn |
gptkb:Elixir
|
| gptkbp:compatibleWith |
existing Elixir code
|
| gptkbp:designedFor |
Elixir developers
|
| gptkbp:goal |
catch type errors early
improve code safety |
| gptkbp:hasFeature |
gradual typing
static type checking |
| https://www.w3.org/2000/01/rdf-schema#label |
Typed Elixir
|
| gptkbp:influencedBy |
gptkb:TypeScript
gptkb:Gradualizer |
| gptkbp:languageFamily |
BEAM languages
|
| gptkbp:license |
gptkb:Apache_License_2.0
|
| gptkbp:repository |
https://github.com/elixir-lang/typed_elixir
|
| gptkbp:status |
in development
|
| gptkbp:bfsParent |
gptkb:Lambda_calculus
gptkb:system_F |
| gptkbp:bfsLayer |
6
|