Sorry, I missed this question: Red (also Rebol) is dynamically scoped: https://stackoverflow.com/questions/21964110/is-there-a-overall-explanation-about-definit

Sorry, I missed this question: Red (also Rebol) is dynamically scoped: https://stackoverflow.com/questions/21964110/is-there-a-overall-explanation-about-definitional-scoping-in-rebol-and-red https://stackoverflow.com/questions/21964110/is-there-a-over... Koka has to be lexically scoped, to cleanly handle effect types: https://koka-lang.github.io/koka/doc/book.html#sec-hello-world https://koka-lang.github.io/koka/doc/book.html#sec-hello-wor... There is a world of difference between these approaches, both in terms of the runtime/compiler support, and the real-world use cases.