>>799
You can emulate dynamic scope using controlled-access global variables in a lexically-scoped language.
Besides, that argument is just silly: you can't straightforwardly implement COMEFROM statements in most high-level languages, but that obviously does not mean a language with COMEFROM is automatically superior. (Note however that I am not an opponent to dynamic scope.)
why did I fall for this

> But what languages are statically typed and dynamically scoped?

You can use type declarations/annotations everywhere in Common Lisp to pretend it's statically-typed and it has so-called special variables which are dynamically-scoped.

captcha: the great quuth a.k.a the man of Thteele