To contribute to the group hug from a wallflower distance...
Speaking from a perspective of doing large production systems in Racket, I find Typed Racket very promising.
And besides the technical benefits of TR, there is also a political one: for help in handling objections from people who are averse to non-Java and insist that they need static type checking.
I'm also looking forward to TR support for keyword arguments, and use of TR in optimizations.
-- http://www.neilvandyke.org/ _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
