Dialect or derivative of Scheme that includes an optional static type system among other special features.

https://racket-lang.org/