>>40By your definition, FIOC and Lithp are statically typed since you could write a method to replace the assignation operator that aborts when data of another type is stored in the same variable.
Why even have this discussion if you're not even comparing languages by their defaults? That would be as dumb as claiming Javashit is strongly typed and Lisp-like just because Typescript and Clojurescript exist.