[swift-evolution] [Draft][Proposal] Formalized Ordering

[Dave Abrahams]

on Thu Jul 21 2016, Xiaodi Wu <swift-evolution at swift.org> wrote:

> On Thu, Jul 21, 2016 at 10:23 PM, Jose Cheyo Jimenez via swift-evolution <
> swift-evolution at swift.org> wrote:
>
>>
>>
>> On Jul 21, 2016, at 7:15 PM, Duan via swift-evolution <
>> swift-evolution at swift.org> wrote:
>>
>> Great proposal. I want to second that areSame may mislead user to think
>> this is about identity.
>>
>> I like areEquivalent() but there may be better names.
>>
>>
>> what about areEqual() ?
>>
>
> As Robert mentioned above, the point here is explicitly to distinguish
> equivalence from equality.

Which suggests maybe we should rename the protocol.

>>
>>
>> Daniel Duan
>> Sent from my iPhone
>>
>> On Jul 21, 2016, at 6:32 PM, Robert Widmann via swift-evolution <
>> swift-evolution at swift.org> wrote:
>>
>>
>> On Jul 21, 2016, at 6:19 PM, Xiaodi Wu <xiaodi.wu at gmail.com> wrote:
>>
>> This is nice. Is `areSame()` being proposed because static `==` is the
>> status quo and you're trying to make the point that `==` in the future need
>> not guarantee the same semantics?
>>
>>
>> Yep!  Equivalence and equality are strictly very different things.
>>
>>
>> Nit: I think the more common term in stdlib would be `areEquivalent()`. Do
>> you think `same` in that context (independent of the word "ordering") might
>> erroneously suggest identity?
>>
>>
>> There is room for improvement here.  Keep ‘em coming.
>>
>>
>>
>> On Thu, Jul 21, 2016 at 8:11 PM, Robert Widmann via swift-evolution <
>> swift-evolution at swift.org> wrote:
>>
>>> Hello Swift Community,
>>>
>>> Harlan Haskins, Jaden Geller, and I have been working on a proposal to
>>> clean up the semantics of ordering relations in the standard library.  We
>>> have a draft that you can get as a gist.
>>> <https://gist.github.com/CodaFi/f0347bd37f1c407bf7ea0c429ead380e>  Any
>>> feedback you might have about this proposal helps - though please keeps
>>> your comments on Swift-Evolution and not on the gist.
>>>
>>> Cheers,
>>>
>>> ~Robert Widmann
>>>
>>>
>>>
>>>
>>>
>>> _______________________________________________
>>> swift-evolution mailing list
>>> swift-evolution at swift.org
>>> https://lists.swift.org/mailman/listinfo/swift-evolution
>>>
>>>
>>
>> _______________________________________________
>> swift-evolution mailing list
>> swift-evolution at swift.org
>> https://lists.swift.org/mailman/listinfo/swift-evolution
>>
>> _______________________________________________
>> swift-evolution mailing list
>> swift-evolution at swift.org
>> https://lists.swift.org/mailman/listinfo/swift-evolution
>>
>>
>> _______________________________________________
>> swift-evolution mailing list
>> swift-evolution at swift.org
>> https://lists.swift.org/mailman/listinfo/swift-evolution
>>
>>
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
>

-- 
Dave