Version: 5.3.1

The Typed Racket Reference

Sam Tobin-Hochstadt <samth@racket-lang.org>
and Vincent St-Amour <stamourv@racket-lang.org>

 #lang typed/racket/base
 #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 Other Type Constructors

      1.6 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

    4 Utilities

    5 Exploring Types

    6 Typed Racket Syntax Without Type Checking

    7 Typed Regions

    8 Optimization in Typed Racket

    9 Legacy Forms

    10 Compatibility Languages

    11 Experimental Features