Comment by sordina

11 years ago

> it seems impossible to have both macros and a type system on par with Haskell

You should check out the work being done on typed template Haskell then.