Yes... you can have type inference as well (if you wish[1][2]). I guess the philosophy is to use it if you need it but otherwise you might prefer to stick to the dynamic part.

----

[1] http://docs.racket-lang.org/ts-guide/quick.html

[2] http://docs.racket-lang.org/ts-guide/more.html#(part._.Type_...