The Typed Racket Reference
On this page:
The Typed Racket Reference
9.0
top ← prev up

The Typed Racket ReferenceπŸ”— i

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. For technical details, refer to the Bibliography.

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

1Type Reference

1.1Base Types

1.1.1Numeric Types

1.1.2Other Base Types

1.2Singleton Types

1.3Base Type Constructors and Supertypes

1.4Syntax Objects

1.5Control

1.6Other Type Constructors

1.7Other Types

2Special Form Reference

2.1Binding Forms

2.2Anonymous Functions

2.3Loops

2.4Definitions

2.5Structure Definitions

2.6Names for Types

2.7Generating Predicates Automatically

2.8Type Annotation and Instantiation

2.9Require

2.10Other Forms

2.11Special Structure Type Properties

3Libraries Provided With Typed Racket

3.1Porting Untyped Modules to Typed Racket

4Typed Classes

4.1Special forms

4.2Types

5Typed Units

5.1Special forms

5.2Types

5.3Interacting with Untyped Code

5.4Limitations

5.4.1Signature Forms

5.4.2Contracts and Unit Static Information

5.4.3Signatures and Internal Definition Contexts

5.4.4Tagged Signatures

5.4.5Structural Matching and Other Unit Forms

6Utilities

6.1Ignoring type information

6.2Untyped Utilities

7Exploring Types

8Deep, Shallow, and Optional Semantics

8.1Example Interactions

8.1.1Checking Immutable Data: Importing a List

8.1.2Checking Mutable Data: Importing a Vector

8.1.3Checking Functions that Cross Multiple Boundaries

8.2Forms that Depend on the Behavior of Types

8.2.1Example: Casts in Deep, Shallow, and Optional

8.3How to Choose Between Deep, Shallow, and Optional

8.3.1When to Use Deep Types

8.3.2When to Use Shallow Types

8.3.3When to Use Optional Types

8.3.4General Tips

8.4Related Gradual Typing Work

9Typed Racket Syntax Without Type Checking

10Typed Regions

11Optimization in Typed Racket

11.1Contract Optimization

12Unsafe Typed Racket operations

13Legacy Forms

14Compatibility Languages

15Experimental Features

15.1Logical Refinements and Linear Integer Reasoning

15.2Dependent Function Types

Bibliography

Index

top ← prev up

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /