> An important question will be, Will syntax macros work out better than an
> existing tool such as Happy?
They work in scheme, and typed scheme
and a different hygienic mscheme is used in dylan
Both are based on pattern matching rewrite rules. Integrating a
similar macro system in haskell should be possible, but definitely not
trivial - how will it interact with the type system?
Haskell is already halfway there, Template Haskell provides a platform
to base them on
Haskell-Cafe mailing list