[samth]

If you're unhappy with our documentation, please let us know what would be helpful -- we know it isn't perfect, but specific requests are always helpful.

As for whether other people in the racket community like typed racket, the answer is clearly yes. if you look at recent work on racket, much of it integrates with or its motivated by, typed racket.

And there are a number of us who work on it currently. Have a look at the list of authors in the documentation.

Sam, creator of Typed Racket