Note that functions in other languages, like Haskell and Scala, do allow some control over evaluation order. One can annotate function parameters to achieve cal

Note that functions in other languages, like Haskell and Scala, do allow some control over evaluation order. One can annotate function parameters to achieve call-by-value or call-by-need as required. Macros can analyse/manipulate the abstract syntax tree of their inputs, so I think of them as extending the compiler.