We use Typed Racket as the programming language in CMSC 15100. Typed Racket provides automated checking for many kinds of common errors in your code, but it also introduces some new complexities that are not covered in the textbook (which was written for Racket). The purpose of these notes, written by John Reppy with subsequent contributions from Matthew Wachs and Adam Shaw, is to provide supplementary information that will aid you in the course.

As we introduce new language features in class, we will add new chapters to this document.

For further reading, you can consult The Typed Racket Guide and The Typed Racket Reference.

Table of Contents