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 <rausc...@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 > a...@rauschma.de > dr-axel.de > > > _______________________________________________ > es-discuss mailing list > es-discuss@mozilla.org > https://mail.mozilla.org/listinfo/es-discuss > >
_______________________________________________ es-discuss mailing list es-discuss@mozilla.org https://mail.mozilla.org/listinfo/es-discuss
