On 08/26/2016 11:10 AM, Matthias Felleisen wrote: > > This looks cool and I wish I had time to play with it.
Likewise. Can you say something for us lurkers about the use cases? Do you think it is workable to have an identifier act as a type expander, match expander, normal macro and identifier macro? I know how useful this can be for match expanders, but I have felt uneasy about it since the overloading mechanism is so adhoc. Also in recent Racket news, I feel the same way about Matthew Flatt's recent announcement (looks cool, wish I was following it): [racket-dev] new implementation of modules + modules + top level -- Anthony Carrico -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.

