IIRC "Beating The Averages" made allowances for domain specific languages. However, the core of almost any language can be applied to almost any other, and doma

IIRC "Beating The Averages" made allowances for domain specific languages. However, the core of almost any language can be applied to almost any other, and domain-specific tools layered on top. Lisp's syntax is especially good for this because it is so extendable and simple, I'm not sure about Haskell having not used it myself. As for Haskell types vs. Lisp macros, my impression is that macros are, at least semantically, more correct for the common process of "apply this action with some changes to multiple situations" that I believe you're referring to when you talk about these properties being equivalent. However, I'm not completely familiar with how a "proper" type system actually works and what the capabilities of languages designed around such a system are, so maybe somebody more experienced could shed some light.