Overall I like the PEP and examples.

One more thing you might consider writing an example for: cython.  It should be feasible for a future cython to understand typing.Annotated based annotations that contain the cython type so that cython code can be both pep484 type checked _and_ cython compiled down to faster code due to the cython c types specified via annotation.

Perhaps reach out to the Cython project and see what they think?

I don't anyone to love the potential extra verbosity that comes when you have annotations for multiple purposes at once, but you do already cover that in the PEP in what seems like a reasonable manner.

-gps


On Tue, May 21, 2019 at 3:51 PM Ivan Levkivskyi <levkivskyi@gmail.com> wrote:
I just wanted to mention that I really like the idea in this PEP. And even if it will not make it to Python 3.8 (the schedule is tight), I would propose to add it to `typing_extensions` so that we can experiment with it,

--
Ivan



On Mon, 20 May 2019 at 20:18, Till <till.varoquaux@gmail.com> wrote:
Hi,

We've just landed pep-593 (https://www.python.org/dev/peps/pep-0593/);
it proposes adding support to embed metadata inside type annotations.
I'm looking forward to hearing people's opinion.

Best,
Till
_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/
_______________________________________________
Typing-sig mailing list -- typing-sig@python.org
To unsubscribe send an email to typing-sig-leave@python.org
https://mail.python.org/mailman3/lists/typing-sig.python.org/