[racket] Typed Racket has finally arrived!

Three hours ago, Neil Toronto wrote:
> Typed Racket has arrived: it is useful to write programs in it in
> which types outnumber code.

(...and therefore having types go through macro-expansion is even more
obviously missing...)

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!