Skip to content

Implement better join and meet for protocols #3830

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
ilevkivskyi opened this issue Aug 15, 2017 · 3 comments
Closed

Implement better join and meet for protocols #3830

ilevkivskyi opened this issue Aug 15, 2017 · 3 comments
Labels
bug mypy got something wrong needs discussion priority-1-normal topic-protocols

Comments

@ilevkivskyi
Copy link
Member

Currently, unrelated protocols give a non-trivial join only if one is a subtype of another. This have several disadvantages. One of the main is the lack of associativity (ditto for meet).

Several ideas for better join were proposed in #3132 (comment) and #3132 (comment)

This is a follow-up issue for #3132
@ilevkivskyi ilevkivskyi self-assigned this Aug 15, 2017
@ilevkivskyi
Copy link
Member Author

Related issue #3257

@ilevkivskyi ilevkivskyi mentioned this issue Aug 23, 2018
Closed
@ilevkivskyi ilevkivskyi mentioned this issue Jun 11, 2019
Closed
@ilevkivskyi ilevkivskyi mentioned this issue Nov 12, 2019
Closed
@ilevkivskyi
Copy link
Member Author

#7932 has an important example for this.

@ilevkivskyi ilevkivskyi removed their assignment Dec 9, 2019
@JukkaL
Copy link
Collaborator

JukkaL commented Jan 29, 2020

Closing this since the potential fix looks quite complicated, and the cases where it would help are relatively rare.

@JukkaL JukkaL closed this as completed Jan 29, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug mypy got something wrong needs discussion priority-1-normal topic-protocols
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@JukkaL @gvanrossum @ilevkivskyi