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. -- Greg