[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?
http://stackoverflow.com/questions/3037643/typed-metaprogramming-languages

Posted on the users mailing list.