[racket] Typed Racket has finally arrived!

From: Eli Barzilay (eli at barzilay.org)
Date: Tue May 21 17:36:30 EDT 2013

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!

Posted on the users mailing list.