Skip to content
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

Comparison of collection types needs design. #84

Open
runarorama opened this issue Mar 4, 2022 · 2 comments
Open

Comparison of collection types needs design. #84

runarorama opened this issue Mar 4, 2022 · 2 comments
Assignees
@runarorama
Labels
needs-design on-deck We'll work on it within the next 2 weeks

Comments

@runarorama
Copy link
Contributor

runarorama commented Mar 4, 2022 •
edited
Loading

The comparison and equality operations in the Universal namespace are not adequate for List, Map, Set, Tuple, etc.

Given that we don't have type classes in Unison yet, we need to come up with an interim design for these that is as ergonomic as possible.
@ceedubs ceedubs added the snooze-1 We'll look at within the next 2 weeks label Nov 3, 2022
@dolio dolio added on-deck We'll work on it within the next 2 weeks and removed snooze-1 We'll look at within the next 2 weeks labels Jan 12, 2023
@aryairani
Copy link
Contributor

@runarorama Issue Triage status check?

@runarorama
Copy link
Contributor Author

No progress on this. Without implicits or type classes, I don't think it's possible to have a very ergonomic design here.

@ceedubs ceedubs mentioned this issue Aug 30, 2023
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@runarorama runarorama

Labels
needs-design on-deck We'll work on it within the next 2 weeks
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@hojberg @runarorama @aryairani @dolio @ceedubs