ieee-754 - 哪些语言可以正确获得 IEEE 754？

Question

我只是花了我一周的时间来处理这个主题，并没有发现任何语言可以使 IEEE 754 规范正确。

甚至 GCC 也不尊重相关的 C99 部分（它忽略了 FENV_ACCESS 杂注，有人告诉我，我的工作示例纯属运气）。

使用库函数来尊重规范是不可能的（AFAIK），您需要语言的支持，因为当您使用标志或舍入时，一些常见的优化是被禁止的。

所以这是我真正的问题：是否有语言（来自 C/C++ 或原始程序集）可以让我访问舍入模式、异常标志和微积分？

Answer 1

由于您在谈论 IEEE 754 的“硬”部分，我猜您最好的选择是使用Fortran。根据维基百科文章 Fortran 2003 至少支持浮点异常处理。

Answer 2

AFAIK，即使是 FPU 硬件单元也没有完全实现完整的 IEEE-754 规范。因此，根据您的需要，您可能会不走运。也许这就是为什么没有语言能完全正确的原因。

Answer 3

我看起来像Factor一样，并且链接声称 D 也是 SBCL。