On this page:
The Typed Racket Reference
6.0

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>

 #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 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