I was looking at this post about differences between statically and dynamically typed language and a comment pointed out to the following definition taken from this reference:
Static typing is very often misunderstood to mean that values are associated with types at CompileTime, when instead it means that that a ReferenceValue is manifestly (which is not the same as at CompileTime) constrained with respect to the type of the value it can denote, and that the language implementation, whether it is a compiler or an interpreter, both enforces and uses these constraints as much as possible.
If I'm not wrong, this definition states that being or not being statically typed doesn't depend on having (or not) a compiled implementation of the language.
But said in this way, what's the advantage of having an interpreted implementation with a statically typing system? I mean, the check is always made at run-time.