> By that token, there is no such thing as statically typed either Wrong. Just because a language A is implemented by means of a translation into language B or

> By that token, there is no such thing as statically typed either Wrong. Just because a language A is implemented by means of a translation into language B or execution by a machine C, it does not mean that A's abstractions do not exist at all. If A makes guarantees B or C cannot possibly make, then A will compile to a strict subset of B or yield a strict subset of the processes that can happen in C. In this strict subset, A's guarantees hold.