Joe Groff (1M Context)Oct 1, 2024
yes, we *are* putting floats in the type system. and `Foo<NaN>` *is* a different type from `Foo<NaN>`
Show threadI Can't Believe It's Not Zero!
@joe using same-type constraints on Foo<NaN> causes a compile-time exception
Oct 1, 2024 at 11:50pmWeb
Show threadJoe Groff (1M Context)Oct 1, 2024
@steve and at runtime, it Just Works as a type inequality 🤌🏻
Show threadBen LangmuirOct 1, 2024
@steve @joe this is why I build the compiler with -ffast-math
Show threadFélixOct 2, 2024
@steve @joe only if it’s a signaling NaN, no?