@Wolf480pl
Static typing is fundimentally a form of static assertion, which I totally support, but I think the programmer should decide what classes if bugs they wish to assert against.
There is another argument for static typing, that we have greater power over the asm that our code will generate. I have mixed feelings about this, on the one hand "never take away power from the programmer" on the other hand letting a jit decide after some profiling is probably better.