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

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

    http://www.ccs.neu.edu/home/dherman/research/papers/dissertation.pdf

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.

Dave

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