How can we have a dynamically typed language over JVM?

Question

We have Jython, JRuby, Groovy which are dynamically typed and runs over JVM. I understand that these languages compile to byt

Answer 1

You're confusing language and architecture. In general the architecture knows nothing about types. Dynamic typing is when objects carry type information with them. You could think of dynamically typed language as Java with only type 'Object' and a lot of 'instanceof' checks behind your back.