search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
223 stars 11 forks source link

add a safe floating point type with internal optimizations for correctness #1103

Open johnynek opened 6 months ago

johnynek commented 6 months ago

see something like: https://indico.cern.ch/event/313684/contributions/1687773/attachments/600513/826490/FPArith-Part2.pdf

the idea would be rewrite expressions so they are numerically stable, and possibly optimize final functions so they a IEEE754 -> IEEE754 but with the least error possible.

cc @avibryant