10 Dec
2009
10 Dec
'09
2:45 p.m.
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-haskel...