[racket] Typed Racket has finally arrived!

From: Raoul Duke (raould at gmail.com)
Date: Tue May 21 18:21:46 EDT 2013

On Tue, May 21, 2013 at 2:36 PM, Eli Barzilay <eli at barzilay.org> wrote:
> (...and therefore having types go through macro-expansion is even more
> obviously missing...)

could the macros+types be something as strong as e.g. metaocaml?

Posted on the users mailing list.