Typed Racket

GPTKB entity

Statements (34)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:category Racket language extensions
typed programming languages
gptkbp:designedFor gptkb:Racket
gptkbp:developer PLT
gptkbp:documentation https://docs.racket-lang.org/ts-guide/index.html
gptkbp:fileExtension .rkt
.trkt
gptkbp:firstAppearance 2010
gptkbp:hasFeature type checking
type annotations
module system
type aliases
interoperability with untyped Racket
structural types
type contracts
type polymorphism
https://www.w3.org/2000/01/rdf-schema#label Typed Racket
gptkbp:influencedBy gptkb:Racket
gptkb:Scheme
gptkbp:latestReleaseVersion 2023
1.19
gptkbp:license gptkb:LGPL
gptkbp:paradigm functional programming
static typing
gptkbp:runsOn gptkb:Racket_virtual_machine
gptkbp:supports type inference
gradual typing
gptkbp:usedFor research
software development
teaching programming
gptkbp:website https://docs.racket-lang.org/ts-guide/index.html
gptkbp:bfsParent gptkb:Racket
gptkbp:bfsLayer 5