You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Aug 28, 2021. It is now read-only.
OK after living with this for awhile, the exponential notation in the human readable serialization (output of tools like noms show, and noms diff) is basically never useful and doesn't get easier to read. And in most cases it's more characters anyway. Let's just print out the value in the normal human way.
The text was updated successfully, but these errors were encountered:
@arv pointed out, and after looking at the patch, the numbers still look weird in some circumstances.
Observation #1: Part of the weirdness is that numbers like 1200000 get turned into 1.2e6. It would look better, if perhaps unscientific, to render it as 12e5.
Observation #2: Exponents are most useful in powers of 3, so 1200000 get turned into 1200e3.
Observation #3: By default Go turns anything > 1e6 into an exponent.
Strawman: what if the formatting were: render only an exponent which is a multiple of 3, if that number is >6 or <-6, and don't break up large numbers into decimals.
I think we should just alway spell the number out long form. No exponential notation ever.
There are cases where this will be ridiculous but we can solve them later when someone asks. In 99.9999999% of cases (note, not 9.999999%e1) just showing number in normal human way will be most useful.
OK after living with this for awhile, the exponential notation in the human readable serialization (output of tools like
noms show
, andnoms diff
) is basically never useful and doesn't get easier to read. And in most cases it's more characters anyway. Let's just print out the value in the normal human way.The text was updated successfully, but these errors were encountered: