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,
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
2 matches
Mail list logo
