On this page:
The Typed Racket Reference

The Typed Racket Reference

Sam Tobin-Hochstadt <samth@racket-lang.org>,
Vincent St-Amour <stamourv@racket-lang.org>,
Eric Dobson <endobson@racket-lang.org>,
and Asumu Takikawa <asumu@racket-lang.org>

This manual describes the Typed Racket language, a sister language of Racket with a static type-checker. The types, special forms, and other tools provided by Typed Racket are documented here.

For a friendly introduction, see the companion manual The Typed Racket Guide.

 #lang typed/racket/base package: typed-racket-lib
 #lang typed/racket

    1 Type Reference

      1.1 Base Types

        1.1.1 Numeric Types

        1.1.2 Other Base Types

      1.2 Singleton Types

      1.3 Containers

      1.4 Syntax Objects

      1.5 Control

      1.6 Other Type Constructors

      1.7 Other Types

    2 Special Form Reference

      2.1 Binding Forms

      2.2 Anonymous Functions

      2.3 Loops

      2.4 Definitions

      2.5 Structure Definitions

      2.6 Names for Types

      2.7 Generating Predicates Automatically

      2.8 Type Annotation and Instantiation

      2.9 Require

      2.10 Other Forms

    3 Libraries Provided With Typed Racket

      3.1 Porting Untyped Modules to Typed Racket

    4 Typed Classes

      4.1 Special forms

      4.2 Types

    5 Utilities

      5.1 Untyped Utilities

    6 Exploring Types

    7 Typed Racket Syntax Without Type Checking

    8 Typed Regions

    9 Optimization in Typed Racket

    10 Legacy Forms

    11 Compatibility Languages

    12 Experimental Features