RacketCon Tutorial on Typed Racket

Typed Racket Basics

Your first Typed Racket program

#lang typed/racket

(module+ main (displayln "Hello World"))

Intro

Next

Union

Polymorphism

Advanced

Porting small programs

Take the programs on the Racket website (collected in the website directory) and port them to Typed Racket.

A Bigger Step

Working through the More: Systems programming in Racket tutorial