An alternate way of integrating integers

I’ve written a proposal that sketches an alternative to Dan’s proposal. It has different pos and cons, so it’s mainly about exploring if there are other options.

https://gist.github.com/rauschma/13d48d1c49615ce2396ce7c9e45d4cd1

-- 
Dr. Axel Rauschmayer
axel at rauschma.de
dr-axel.de

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20170329/11a6a09b/attachment.html>

Not been following this, but given that JSON supports arbitrary precision
*numbers* (that JS cannot decode), not just integers, my hunch is that we
could/should explore this option too!

Python seems to do pretty well (right?) with integers being bignum (and,
aside, all strings being Unicode, magically stored in one of several
representations depending on content), can we do better in JS with all
numbers being arbitrary precision? Or is it simply too much for optimizers
to do well with?

Alex

On 29 March 2017 at 20:44, Axel Rauschmayer <rauschma at icloud.com> wrote:

> I’ve written a proposal that sketches an alternative to Dan’s proposal. It
> has different pos and cons, so it’s mainly about exploring if there are
> other options.
>
> https://gist.github.com/rauschma/13d48d1c49615ce2396ce7c9e45d4cd1
>
> --
> Dr. Axel Rauschmayer
> axel at rauschma.de
> dr-axel.de
>
>
> _______________________________________________
> es-discuss mailing list
> es-discuss at mozilla.org
> https://mail.mozilla.org/listinfo/es-discuss
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20170329/8d182181/attachment.html>