[Python-ideas] Why operators are useful

Greg Ewing greg.ewing at canterbury.ac.nz
Tue Mar 19 18:05:41 EDT 2019

Antoine Pitrou wrote:
> You are being idealistic here.  MyPy relies on typing hints being
> available, and sufficiently precise.

Yes, but it doesn't require type hints for *everything*. Given
enough starting points, it can figure out the rest.

Mathematicians rely heavily on their readers being able to do the
same thing.


More information about the Python-ideas mailing list