[Haskell-cafe] Re: Nano-Languages

Vladimir Zlatanov vlado at dikini.net
Thu Dec 10 09:45:06 EST 2009

> 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

More information about the Haskell-Cafe mailing list