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.