3 ms·
Since macros are fundamentally just a poor man's higher order functions, Haskell really shouldn't need them. For example, two major uses of macros in Lisp are
by waqf 15y ago
Since macros are fundamentally just a poor man's higher order functions, Haskell really shouldn't need them.
For example, two major uses of macros in Lisp are with-macros and embedded DSLs. You don't need macros for either of those in Haskell, because first-class functions have you covered.
- gujk 15y agoHaskell does not support unboundedly highly kinded types (or whatever it is called). There is no direct way in base Haskell to declare all of 1- to 10-tuples with a single type declaration in a map or loop, for example. Template Haskell can do this, though.