Sam Tobin-Hochstadt <[email protected]>, Vincent St-Amour <[email protected]>, Eric Dobson <endobs[email protected]>, and Asumu Takikawa <[email protected]> Typed Racket is Racket’s gradually-typed sister language which allows the incremental addition of statically-checked type annotations. This guide is intended for programmers familiar with Racket. For an introduction to Racket,
