|
|
> 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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@xxxxxxxxxxx
http://www.haskell.org/mailman/listinfo/haskell-cafe
|
|