|
|
|
|
|
by glkindlmann
384 days ago
|
|
That sounds neat. What would be really neat is if the language helped to expose the consequences of the ensuing rounding error by automating things that are otherwise clumsy for programmers to do manually, like running twice with opposite rounding directions, or running many many times with internally randomized directions (two of the options in Sec 4 of *). That is, it would be cool if Rust enabled people learn about the subtleties of floating point, instead of hiding them away. * https://people.eecs.berkeley.edu/~wkahan/Mindless.pdf |
|