Kittyscript

A developer working on Kittyscript, a programming language project, is revisiting the compiler's handling of compile-time side effects. The open question: what should happen when a nested function calls an identifier that resolves to a macro in the top-level scope, but is shadowed by another binding in an intermediate scope. The edge case touches on scoping rules and macro expansion order, classic rabbit-hole material for language designers.