Re: [Jython-users] Statically Typed Python/Jython?

[Stefan B. <ste...@be...>]

jlist9, 12.01.2010 17:50:
> +1 for type inference. It has been proven to work well in Scala, and
> it's explicit enough.

... except that it won't work as well as in Scala due to language design 
differences. But there's a lot you can do without requiring whole program 
analysis. Real-world code rarely hits the "general case" where type 
inference can't work at all for Python.

Actually, I would expect that the JIT compiler of a hot-spot JVM would do 
quite a bit of runtime optimisation for e.g. virtual method calls anyway (I 
assume operators are based on that?), so the benefit for Jython should be 
smaller than for CPython (or Cython).

Stefan