The Typed Racket Guide
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, see The Racket Guide.
For the precise details, also see The Typed Racket Reference.