13

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

Other languages such as Scala supports type inference, and its clear that the compiler infers the type for us.

But Java is a static language and it compiles to bytecode, does this mean bytecode supports dynamic typing?

For e.g. In Java we need to declare the variable type at compile time, and can never change it. But in case of Python we dont have to declare a type, but we can assign any type of value to the same variable during run time.

How does the dynamic typing work over a static language?

18bytes
  • 5,951
  • 7
  • 42
  • 69
  • Java is a static language and it's type system is static. I don't see how you came to the conclusion of Java is static therefore bytecode supports dynamic. Bytecode is just something that runs natively on a virtual machine. PS: Python uses duck typing. Look it up if you are interested in how it works. – Mateusz Kowalczyk Jul 10 '12 at 06:04
  • 2
    Regarding your very last paragraph: The JVM is not the same as the Java language. – stakx - no longer contributing Jul 10 '12 at 06:04
  • 1
    C is a pure static type checked language and yet most of these languages including Java and built on something built on C. The features of underlying language isn't important in terms of what can be done, they only impact what might be most efficient. – Peter Lawrey Jul 10 '12 at 07:26

3 Answers3

7

But Java is a static language and it compiles to bytecode, does this mean bytecode supports dynamic typing?

Yes it does mean that.

You see Java is not a completely statically typed language. Whenever you cast an object from a type to a subtype, the JVM performs a dynamic (runtime) typecheck to check that the object really is an instance of the subtype. Using instanceof is another example of dynamic type checking.

Dynamic type checking is also used under the covers when you use the reflection APIs, and even when you use generics.

How does the dynamic typing work over a static language?

If it is a purely statically type-checked language then it doesn't. For instance, Pascal is a strongly typed language with (purely) static typing. But most modern programming languages support at least some level of runtime type checking. And many dynamically typed languages have either optional static typing, or developer tools that use type inferencing to pick up type-related errors.

Incidentally, a language can be both statically typed and use type inferencing. Type inference should be viewed as an alternative to explicit type declarations, not an as alternative to static typing.

Stephen C
  • 698,415
  • 94
  • 811
  • 1,216
6

As others have pointed out, a dynamic language simply means that some (and often all) type checking is done entirely at runtime. You can build very dynamic languages even in very statically typed (or even nearly untyped (x86 machine code)) environments.

Java has also been adding more and more native support for dynamic languages. Sun published a very good overview of what this means and how it helps dynamic languages perform well and feel at home on the JVM.

dpercy
  • 459
  • 6
  • 13
sblom
  • 26,911
  • 4
  • 71
  • 95
5

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.

Karolis Juodelė
  • 3,708
  • 1
  • 19
  • 32