PyPy 1.0: JIT compilers for free and more

[Paul Rubin]

"Kay Schluehr" <kay.schluehr at gmx.net> writes:
> A somewhat unrelated question. With Py3K Python gets optional type
> annotations. Are you already architecting an annotation handler that
> can process these annotations? This feature is somewhat competitive to
> all the complicated type inference and jitting you have been worked
> out so I don't know how it fits well into the current PyPy
> architecture?

What's the nature of the conflict between annotations and inference?
Haskell for example has both.