Version: 5.1.3

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 Typed Racket Syntax Without Type Checking

    6 Typed Regions

    7 Optimization in Typed Racket

    8 Legacy Forms

    9 Compatibility Languages

    10 Experimental Features