>>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
>>800
Keyword is "emulate", there.
And I didn't mean just extra features, I mean something more all-encompassing: static typing is a strict superset of dynamic typing; dynamic scope is a strict superset of lexical scope.
And yeah, CL gets a special shout-out, as always.
captcha: howrc, some kind of config file