4 ms·
But lisp macros don't give you the strong type safety properties that Haskell gives you with monads. The most general solution is not always the thing you want
by mightybyte 12y ago
But lisp macros don't give you the strong type safety properties that Haskell gives you with monads. The most general solution is not always the thing you want. Sometimes you want the solution that gives you the strongest guarantees about the potential behavior of code.
- olavk 12y agoMy point is that do-notation is comparable to macros since it is a kind of syntactic sugar. Monads on the other hand are a type (or design pattern, depending on perspective), not a kind of syntactic sugar. So you can't compare lisp macros to monads.