[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: Numeric key collision related bug in Lua 5.3
- From: Coda Highland <chighland@...>
- Date: Fri, 24 Apr 2015 07:51:04 -0700
On Fri, Apr 24, 2015 at 7:21 AM, Dirk Laurie <firstname.lastname@example.org> wrote:
> 2015-04-24 15:41 GMT+02:00 Egor Skriptunoff <email@example.com>:
>> Yes, we have strange results when sorting tables with NaNs inside.
>> But we don't have errors there.
>> Is it possible to receive "invalid order function for sorting" error for
>> default sorting (using default order function) of a table filled with mixed
>> integer/float values due to non-transitivity of default operator ">="?
>> Transitivity of equality and relational operators sits very deep in our
>> A language without such transitivity would be counter-intuitive,
>> programming on it would be error-prone.
>> IMHO, if both numbers are inside range 2^53...2^63, they should be compared
>> using conversion to integers, despite of possible performance penalty.
> Didn't Roberto say just that? Let me find it ...
> | (In terms of implementation, it means that integer-float should be
> | compared converting the float to an integer; if the conversion fails,
> | the numbers cannot be equal.) That definition is simple, sounds
> | sensible and easy to explain, and makes equality transitive.
That doesn't help with the issue of nontransitivity of >, only ==: if
the conversion fails, which number is "less"?