For that exists Typed Racket: http://docs.racket-lang.org/ts-guide/