Ответ 1
Поскольку вы говорите о "жестких" частях IEEE 754, я бы предположил, что лучше всего использовать Fortran. Согласно статье Википедии Fortran 2003 поддерживает по крайней мере обработку обработки с плавающей запятой.
Я просто потратил свою неделю на общение с предметом и не нашел языка, который бы правильно использовал спецификацию IEEE 754.
Даже GCC не уважает соответствующую часть C99 (она игнорирует прагму FENV_ACCESS, и мне сказали, что мои рабочие примеры были просто удачей).
Невозможно (AFAIK) уважать спецификацию с библиотечными функциями, вам нужна поддержка от языка, потому что некоторые общие оптимизации запрещены, когда вы играете с флагами или округлением.
Итак, вот мой реальный вопрос: есть ли там языки (appart from C/С++ или raw assembly), которые дают мне доступ к режимам округления, флагом исключений и исчислению?
Поскольку вы говорите о "жестких" частях IEEE 754, я бы предположил, что лучше всего использовать Fortran. Согласно статье Википедии Fortran 2003 поддерживает по крайней мере обработку обработки с плавающей запятой.
AFAIK, даже аппаратные блоки FPU полностью не реализуют полную спецификацию IEEE-754. Таким образом, в зависимости от того, что вам нужно, вам может быть не повезло, пытаясь его получить. Возможно, поэтому ни один язык не понимает полностью.
Я выгляжу как Factor делает это, и ссылка утверждает, что D тоже SBCL.