9 Typed Racket Syntax Without Type Checking
|#lang typed/racket/no-check||package: typed-racket-lib|
On occasions where the Typed Racket syntax is useful, but actual typechecking is not desired, the typed/racket/no-check and typed/racket/base/no-check languages are useful. They provide the same bindings and syntax as typed/racket and typed/racket/base, but do no type checking.
#lang typed/racket/no-check (: x Number) (define x "not-a-number")