[Haskell-cafe] Re: Nano-Languages

[Vladimir Zlatanov]

> 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
http://www.ccs.neu.edu/scheme/pubs/popl08-thf.pdf
and a different hygienic mscheme is used in dylan
http://people.csail.mit.edu/jrb/Projects/dexprs.pdf
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
http://www.haskell.org/ghc/docs/6.10-latest/html/users_guide/template-haskell.html