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 th

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 http://docs.racket-lang.org/ts-guide/quick.html [2] http://docs.racket-lang.org/ts-guide/more.html#(part._.Type_.Inference) http://docs.racket-lang.org/ts-guide/more.html#(part._.Type_...