哪种语言能让IEEE 754正确？

Question

我只是花了一周的时间来讨论主题，并找到了 no 语言，使得IEEE 754规范正确。

即使是GCC也不尊重相关的C99部分（它忽略了FENV_ACCESS编译指示，而且我被告知，而不是我的工作示例纯粹是运气）。

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

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

Answer 1

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

Answer 2

AFAIK，甚至FPU硬件单元也没有完全实现完整的IEEE-754规范。所以，根据你的需要，你可能会试图获得它。也许这就是没有语言完全正确的原因。

Answer 3

我看起来像Factor这样做了，链接声称D也是SBCL。