Re: [Python-ideas] Add support for external annotations in the typing module

2019-01-18 Thread Till
Thanks for the feedback Gregory. You raise a lot of good points; this is going to help me write a clearer pep. (0) Pretty much. They can be used as refinement for more advanced type checkers (e.g.: for linear types). (1a) I knew about the postponed evaluation but hadn't read PEP-563 yet. Thx fo

Re: [Python-ideas] Add support for external annotations in the typing module

2019-01-17 Thread Gregory P. Smith
On Thu, Jan 17, 2019 at 2:34 PM Till wrote: > We started a discussion in https://github.com/python/typing/issues/600 > about adding support for extra annotations in the typing module. > > Since this is probably going to turn into a PEP I'm transferring the > discussion here to have more visibilit

[Python-ideas] Add support for external annotations in the typing module

2019-01-17 Thread Till
We started a discussion in https://github.com/python/typing/issues/600 about adding support for extra annotations in the typing module. Since this is probably going to turn into a PEP I'm transferring the discussion here to have more visibility. The document below has been modified a bit from the