ieee-754 - IEEE 754 に対応する言語は?

Question

私は 1 週間かけてこのテーマをいじりましたが、IEEE 754 仕様を正しく理解できる言語は見つかりませんでした。

GCC でさえ、関連する C99 の部分を尊重しません (これは FENV_ACCESS プラグマを無視します。私の作業例は運が良かったと言われています)。

ライブラリ関数で仕様を尊重することは (AFAIK) 不可能です。フラグや丸めを使用するときに一般的な最適化が禁止されているため、言語からのサポートが必要です。

ここに私の本当の質問があります: 丸めモード、例外フラグ、微積分にアクセスできる言語はありますか (C/C++ または未加工のアセンブリを除く)。

Answer 1

IEEE 754 の「難しい」部分について話しているので、最善の策はFortranを使用することだと思います。ウィキペディアの記事によると、Fortran 2003 は少なくとも浮動小数点例外処理をサポートしています。

Answer 2

私の知る限り、FPUハードウェアユニットでさえ、完全なIEEE-754仕様を完全に実装しているわけではありません。そのため、必要なものによっては、入手しようとして運が悪い場合があります。おそらくそれが、完全に正しい言語が存在しない理由です。

Answer 3

Factorがそうしているように見えますが、リンクは D も SBCL であると主張しています。