Typed Intro
All of the basics you need to start using Typed Racket.
All of the basics you need to start using Typed Racket.
Giving types to variables and functions.
Using define-struct in Typed Racket. Additional info on posn-util, struct-copy, and limit for use with make-color.
big-bang works almost exactly the same in Typed Racket. This page explains any differences.
Introductory exercises for learning Typed Racket.
Additional practice writing typed functions, includes lists and recursion.
Exercises to practice using structures in Typed Racket.
Conversion from one player to two player bumper boats.
Two player checkers in Typed Racket