On this page:
The Typed Racket Guide
5.92

The Typed Racket Guide

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>

Typed Racket is a family of languages, each of which enforce that programs written in the language obey a type system that ensures the absence of many common errors. This guide is intended for programmers familiar with Racket. For an introduction to Racket, see the The Racket Guide.

    1 Quick Start

      1.1 Using Typed Racket from the Racket REPL

    2 Beginning Typed Racket

      2.1 Datatypes and Unions

      2.2 Type Errors

    3 Specifying Types

      3.1 Type Annotation and Binding Forms

        3.1.1 Annotating Definitions

        3.1.2 Annotating Local Binding

        3.1.3 Annotating Functions

        3.1.4 Annotating Single Variables

        3.1.5 Annotating Expressions

      3.2 Type Inference

      3.3 New Type Names

    4 Types in Typed Racket

      4.1 Basic Types

      4.2 Function Types

      4.3 Union Types

      4.4 Recursive Types

      4.5 Structure Types

      4.6 Subtyping

      4.7 Polymorphism

        4.7.1 Polymorphic Data Structures

        4.7.2 Polymorphic Functions

        4.7.3 Lexically Scoped Type Variables

      4.8 Variable-Arity Functions: Programming with Rest Arguments

        4.8.1 Uniform Variable-Arity Functions

        4.8.2 Non-Uniform Variable-Arity Functions

    5 Occurrence Typing

      5.1 Basic Occurrence Typing

      5.2 Filters and Predicates

      5.3 Other conditionals and assertions

      5.4 A caveat about set!

    6 Typed-Untyped Interaction

      6.1 Using Untyped Code from Typed Code

      6.2 Using Typed Code in Untyped Code

      6.3 Protecting Typed-Untyped Interaction

    7 Optimization in Typed Racket

      7.1 Turning the optimizer off

      7.2 Getting the most out of the optimizer

        7.2.1 Numeric types

        7.2.2 Lists

        7.2.3 Vectors

        7.2.4 Optimization Coaching

    8 Caveats and Limitations

      8.1 The Integer type and integer?

      8.2 Type inference for polymorphic functions

      8.3 Typed-untyped interaction and contract generation

      8.4 Classes and units

      8.5 Type generalization

      8.6 Macros and compile-time computation