Macros are used pervasively. To use your analogy, it's like writing a lambda calculus interpreter with an FFI, doing everything via the FFI, and calling it dec

Macros are used pervasively. To use your analogy, it's like writing a lambda calculus interpreter with an FFI, doing everything via the FFI, and calling it declarative. But macros are only part of the problem. > That's part of what declarative programming is. Sorry, I was constraining myself to the definition from the article.