[racket] Typed Racket has finally arrived!

> I'm fine with large types that happen to be useful theorems. They've caught
> errors, made many dynamic checks unnecessary, and taught me things about the
> code I'm writing. Kudos to the TR team.

i am curious to know what other statically typed + checked languages
you've used, and how you feel they compare with TR. i haven't gotten
into TR yet myself, unfortunately. i'm excited that it exists, and
that it is encouraging other originally-not-statically-typed languages
to maybe get the static option cf. typed-clojure. but i also wonder
how much of TR's features were already done in other languages which
started out with static typing from the get-go.