Hey Patrick,

I'm interested in collaborating on a PEP for intersections. My gut feeling is that specifying it will not be too hard, because intersection types are dual to unions and unions are already mostly specified in PEP-483, PEP-484, PEP-604 and PEP-544 (for union of protocols).

Should we set up a Zoom/Meet call to discuss the next steps?

Cheers,

Sergei

On Tue, Nov 16, 2021 at 11:48 PM Patrick Arminio <patrick.arminio@gmail.com> wrote:

Hi folks!

I'm sending this email because I'd love to work on introduction support for Intersection to python's typing capabilities.
I'd love to know if someone is already working on this and if not, I'd like to try and work on it, but I'd need some support if
possible ^^

I've sketched out a basic plan[0], basically the initial idea is to write an initial PEP based on the discussion[1] around typing.Intersection,
make a prototype implementation and then try to get feedback on the PEP and implementation.

Does that make sense? Would someone be able to help me with this?
And, again, if someone is already working on this, let me know, I'm ok with that too :D

[0] My rough plan and basic notes: https://hackmd.io/0ymmrUtGTG-CEiw32qVfiQ
[1] Issues regarding typing.Intersection: https://github.com/python/typing/issues/213
_______________________________________________
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/
Member address: sergei.a.lebedev@gmail.com