4 Dec
2020
4 Dec
'20
4:06 a.m.
**So I'd like to propose that Python typecheckers make it possible to spell "an object that can be used where a type annotation is expected".**
If folks think the concept of this new spelling is overall a good idea and I can get some clarity around the above questions, I'd be willing to make a stab at implementing an initial version in mypy.
I've started a thread on the mypy issue tracker, for those interested in following my efforts to get this kind of syntax supported in mypy: -> https://github.com/python/mypy/issues/9773 -- David Foster | Seattle, WA, USA Contributor to TypedDict support for mypy