I don't think type hints do Hindley/Milner/Damas justice. I agree. Retro-fitting Hindley-Milner would be difficult. Rpython has type-inference for a subset of

I don't think type hints do Hindley/Milner/Damas justice. I agree. Retro-fitting Hindley-Milner would be difficult. Rpython has type-inference for a subset of Python. But it's a special purpose language.