5 Optimization in Typed Racket

Typed Racket provides a type-driven optimizer that rewrites well-typed programs to potentially make them faster. It should in no way make your programs slower or unsafe.

5.1 Using the optimizer

Typed Racket’s optimizer is not currently turned on by default. If you want to activate it, you must add the #:optimize keyword when specifying the language of your program:

  #lang typed/racket #:optimize