3 ms·
No, (optional) static typing is the best recent addition to Python. It allows IDEs to catch a large variety of errors. The static type system is part of the lan
by crazypython 6y ago
No, (optional) static typing is the best recent addition to Python. It allows IDEs to catch a large variety of errors. The static type system is part of the language and has multiple implementations. It's Hindley-Milner, making it two-way, like Haskell's type system.
- kzrdude 6y agoThere is no "No", you can just add your opinion about your favourite feature instead.
- sn9 6y agoWait what? Are you saying Python has a Hindley-Milner type system? What's it called? Google didn't turn up anything.
- kzrdude 6y agoPython doesn't have it but I think they are talking about mypy, options typechecker tool that has type inference.
- crazypython 6y agoIt's called PEP-484, and it's part of the language https://www.python.org/dev/peps/pep-0484/ https://www.python.org/dev/peps/pep-0484/ Pyre and PyCharm are third-party implementations of PEP-484.