>>28,30
The only dynamically typed language where type inference works well is Lisp (and Dylan, because it's Lisp), and only when you're sticking to the non-OO stuff. Runtime profiling, JIT compiling and method caching are done in every "high performance" virtual machine for dynamically typed OO languages (mostly Smalltalk VMs), and their performance are still crap when compared to, say, Java. You fucks want to believe in magic? Fine. Just don't fucking expect to use magic as an argument.