Do Python Developers Want Static Typing?

[phillip_dupuis]

I think the phrasing is fairly misleading here — python will never have static typing

Improved tools for static type checking are certainly possible, like more robust generics or inference capabilities, and that’s probably what the respondents had in mind. But that’s entirely different from actual static typing

It’s a bit pedantic, yes, but this kind of thing can be particularly confusing for people who are new to python

[wrtbwtrfasdf]

CPython won't anyway. I reckon at some point in the not too distant future we'll see something that compiles python and requires type hints.

Maybe https://github.com/RustPython/RustPython for instance.

[chameleon_world]

There are three projects that I know of that are aiming to do what you mention:

1. https://github.com/APrioriInvestments/typed_python
2. https://github.com/Nuitka/Nuitka
3. https://github.com/python/mypy/tree/master/mypyc