Assertion: typed racket | /r/HasProperty | dialect
Facets:
Source sentences:
text: This includes Typed Racket, which is a gradually typed dialect of Racket that eases the migration from untyped to typed code, Lazy Racket—a dialect with lazy evaluation, and Hackett, which combines Haskell and Racket.