yup, agreed. type inference for a dynamically-typed language is extremely hard to do well ... you often have to make people program in a restricted 'static' sub

yup, agreed. type inference for a dynamically-typed language is extremely hard to do well ... you often have to make people program in a restricted 'static' subset of the language, like what PyPy does with the RPython dialect: http://codespeak.net/pypy/dist/pypy/doc/coding-guide.html#restricted-python http://codespeak.net/pypy/dist/pypy/doc/coding-guide.html#re...