[racket] Typed syntax (macros) for typed/racket?

From: David Herman (dherman at ccs.neu.edu)
Date: Tue Oct 5 12:44:46 EDT 2010

Types for macros are an open research problem. This was the topic of my dissertation:


At some point I'd like to experiment with a Racket language module that provides typed macros, but I haven't had any time to work on this lately.


On Oct 5, 2010, at 9:24 AM, Scott McLoughlin wrote:

> I'm curious if there is a capability to define typed macros,
> ideally catching errors at the macro "call site" instead of
> within the expansion. If not, is there any interest in such a
> facility?
> Scott
> _________________________________________________
> For list-related administrative tasks:
> http://lists.racket-lang.org/listinfo/users

Posted on the users mailing list.