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

P2199 Concepts to differentiate types #904

Closed
wg21bot opened this issue Aug 1, 2020 · 2 comments
Closed

P2199 Concepts to differentiate types #904

wg21bot opened this issue Aug 1, 2020 · 2 comments
Labels
B3 - addition Bucket 3 as described by P0592: material that is not mentioned in P0592 IS Ship vehicle: IS LEWG Library Evolution needs-revision Paper needs changes before it can proceed ready-for-library-evolution-mailing-list-review This paper needs to be discussed on the Library Evolution mailing list
Projects
Library Evolution Telecons Library Evolution Mailing List Reviews

Comments

@wg21bot
Copy link
Collaborator

wg21bot commented Aug 1, 2020

P2199R0 Concepts to differentiate types (Isabella Muerte)
@wg21bot wg21bot added LEWG Library Evolution LEWGI Library Evolution Incubator labels Aug 1, 2020
@wg21bot wg21bot added this to the 2020-telecon milestone Aug 1, 2020
@brycelelbach brycelelbach added this to Mailing List Discussion Queue in Library Evolution Telecons Aug 24, 2020
@brycelelbach brycelelbach added LEWG Library Evolution B3 - addition Bucket 3 as described by P0592: material that is not mentioned in P0592 IS Ship vehicle: IS ready-for-library-evolution-mailing-list-review This paper needs to be discussed on the Library Evolution mailing list and removed LEWG Library Evolution LEWGI Library Evolution Incubator labels Aug 25, 2020
@inbal2l inbal2l removed the ready-for-library-evolution-mailing-list-review This paper needs to be discussed on the Library Evolution mailing list label Nov 10, 2020
@inbal2l
Copy link
Collaborator

inbal2l commented Nov 10, 2020 •
edited

A short summary of the comments:

  1. There's a request to improve the rationale, and focus on the users' use cases.
  2. Naming: similar_to - the core language has a "similar to" in [conv.qual]/3, refer to P2196 as well).
    [Author is aware and will fix it. Next revision is expected to swap distinct_from, different_from meaning. similar_to will be replaced with analogous_to]
  3. Please re-evaluate / provide motivation for the necessity of: different_from, distinct_from. 
    [Author is aware and will do so. Relevant links: https://lists.isocpp.org/lib-ext/2020/10/16359.php, https://www.merriam-webster.com/dictionary/subsumption]
  4. Some comments about the "remove_cvref" trait in the concepts, suggestions to explore which version will satisfy the common 'user' use cases, and the compile time overhead, if meaningful.

Waiting for R1.

@brycelelbach brycelelbach added ready-for-library-evolution-mailing-list-review This paper needs to be discussed on the Library Evolution mailing list needs-revision Paper needs changes before it can proceed labels Nov 16, 2020
@jensmaurer jensmaurer removed this from the 2020-telecon milestone Dec 27, 2020
@cor3ntin
Copy link

The author informed me that she is no longer pursuing this paper.
If you are interested in pursuing this work further, reach out to her to get the paper's sources.

Closing for now

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
B3 - addition Bucket 3 as described by P0592: material that is not mentioned in P0592 IS Ship vehicle: IS LEWG Library Evolution needs-revision Paper needs changes before it can proceed ready-for-library-evolution-mailing-list-review This paper needs to be discussed on the Library Evolution mailing list
Projects
No open projects
Library Evolution Mailing List Reviews
Unscheduled
Library Evolution Telecons
Unscheduled
Milestone
No milestone
Development

No branches or pull requests
5 participants
@brycelelbach @cor3ntin @inbal2l @jensmaurer @wg21bot