4 ms·
Wait what? Are you saying Python has a Hindley-Milner type system? What's it called? Google didn't turn up anything.
by sn9 6y ago
Wait 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.