There is Typed Racket which has been under substantial development for many months now, with good results. https://docs.racket-lang.org/ts-guide/ https://docs.

There is Typed Racket which has been under substantial development for many months now, with good results. https://docs.racket-lang.org/ts-guide/ https://docs.racket-lang.org/ts-guide/