Clarify integer and safe integer resolution

Mark S. Miller erights at google.com
Thu Aug 29 13:05:00 PDT 2013


I'm not sure the following is a bug, so discussing on es-discuss first
before filing one.

I agree that during the meeting we explicitly discussed MAX_SAFE_INTEGER
but not MIN_SAFE_INTEGER, which is why I wrote "presumably" in my previous
message. But I think it violates both consistency with the rest of the API
and the principle of least surprise to omit MIN_SAFE_INTEGER. We should
just include the obvious definition of it, as in my pseudocode above. If no
one disagrees, I'll file a bug. Thanks.


On Thu, Aug 29, 2013 at 12:41 PM, Allen Wirfs-Brock
<allen at wirfs-brock.com>wrote:

> The rev17 spec. draft includes th specification of these function based
> uopn my understanding of the agreement at the meeting.
> http://people.mozilla.org/~jorendorff/es6-draft.html#sec-15.7.2.8
> http://people.mozilla.org/~jorendorff/es6-draft.html#sec-15.7.2.13
> http://people.mozilla.org/~jorendorff/es6-draft.html#sec-15.7.2.14
>
> If anyone see any issues with these definitions then they should file some
> bugs.
>
> Allen
>
>
>
> On Aug 29, 2013, at 11:00 AM, Rick Waldron wrote:
>
> At the last TC39 meeting we discussed the addition of the following
> items[0]:
>
> Number.MAX_SAFE_INTEGER = (2^53)-1
>
> Number.isInteger
>   - Infinity => false
>   - NaN => false
>   - value !== truncated value => false
>   - -0 => true
>
> Number.isSafeInteger
>   - -0 => true
>
>
>  This resolution of record doesn't include a consensus on these extensions
> as defined, but IIRC there was consensus on Mark's proposal. Jeff Walden
> noted[1] that there was no clear resolution and I apologize for this
> oversight.
>
> Rick
>
> [0]
> https://github.com/rwaldron/tc39-notes/blob/master/es6/2013-07/july-25.md#59-semantics-and-bounds-of-numberisinteger-and-numbermax_integer
>
> [1] https://bugzilla.mozilla.org/show_bug.cgi?id=885798#c12
> _______________________________________________
> es-discuss mailing list
> es-discuss at mozilla.org
> https://mail.mozilla.org/listinfo/es-discuss
>
>
>
> _______________________________________________
> es-discuss mailing list
> es-discuss at mozilla.org
> https://mail.mozilla.org/listinfo/es-discuss
>
>


-- 
    Cheers,
    --MarkM
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20130829/139e5a9b/attachment.html>


More information about the es-discuss mailing list