3 Jun
2020
3 Jun
'20
6:03 a.m.
On Wed, May 27, 2020 at 8:49 AM Andrew Udvare
I like this idea. I've spent a considerable amount of time manually deducing a return type from various libraries (usually I have Mypy set to not allow missing annotations).
While I do not like the typing.Auto idea either, I think this is a genuine use case that is currently hard to support - opting a function out of "don't allow missing annotations" while still keeping it turned on for the rest of the code. It feels like it should be a directive rather than a type, though, analogous to `# type: ignore`. Perhaps `# type: auto`? We would still need the `# type` comment for ignore directives after all, even if it is not now needed to annotate actual types. martin