Racket version 8.7 is now available from https://download.racket-lang.org/ As of this release: Typed Racket offers Shallow and Optional modes for its gradual types. These modes lower the cost of interacting with untyped code, but provide less prot...