I've published a blog post about Typed Racket that I've been holding on to for a while. Mainly I intended it as feedback for Sam about what areas of TR I think can be improved, though it does provide a sort of tour through lots of Typed Racket features, so it should be readable by anyone with familiarity with Racket.
http://unknownparallel.wordpress.com/2012/11/05/my-experience-with-typed-racket/ If I've made any errors, please let me know and I will correct them posthaste. -- Dan Burton
_________________________ Racket Developers list: http://lists.racket-lang.org/dev