[racket-dev] Release Announcement for v5.1.2

At Mon, 1 Aug 2011 11:57:06 -0400,
Sam Tobin-Hochstadt wrote:
> > * Sam, Vincent: TR news?  (Many new types from Eric Dobson?
> >  Optimizer logs?)
> 
> Almost all core Racket data structures and operations now work with
> Typed Racket (most of this work is due to prolific contributor Eric
> Dobson).

I'd add:
- The performance of the Typed Racket typechecker has been
  significantly improved.
- Typed Racket now optimizes at the REPL and inside typed regions.
- Typed Racket now provides a command-line static performance
  debugging tool. A DrRacket-based graphical version will be available
  in the next release.

Unrelated to TR:
- A high-level interface to Racket's logging facilities is now
  available in `unstable/logging'.

Vincent