[Перевод] Смыть

Где вы видели такие головы, которые требуют поддержки IE древних версий? Мне чаще встречается «наш сайт некорректно выглядит в firefox? используйте хром для просмотра нашего сайта, пожалуйста.»

Забавно. Т. е. если я приду в ресторан и, попробовав там борщ, скажу, что он невкусный — это будет неконструктивная критика и мне надо заткнуться?

Затыкаться вам не надо, но именно в таком виде это действительно будет неконструктивная критика. Другое дело если вы хотя бы скажете почему вы считаете что борщ невкусный.

> А с введением предиката totalOrder в 2008-м году, без NaN != NaN уже можно спокойно обойтись.

Ой сомневаюсь. Как раз оригинал про totalOrder:

3) If x and y are both NaNs, then totalOrder reflects a total ordering based on:
i) negative sign orders below positive sign
ii) signaling orders below quiet for +NaN, reverse for −NaN
iii) lesser payload, when regarded as an integer, orders below greater payload for +NaN,
reverse for −NaN.

Поэтому всё пройдёт только при дополнительном условии — все NaN канонизированы — что, в общем случае, не верно. Иначе получится, что +qnan(0) < qnan(1), qnan(x) != snan(x) для любого x>0, и так далее.
Total ordering в IEEE754-2008 нацелен не на лечение проблемы с NaN, а на решение проблемы несравнимости чисто формальным введением сравнения :(

> Самый мощный аргумент — отсутствие поддержки isnan и литерала NaN в популярных на то время языках программирования.

Ну вот я объяснил, почему я не считаю его «самым мощным»: без реального смысла за таким результатом сравнения он был бы ничтожен.

> NaN — это как Nothing. А Nothing таки равен Nothing (того же типа).

netch@localhost [(none)]> select null = null;
+-------------+
| null = null |
+-------------+
| NULL |
+-------------+
1 row in set (0.02 sec)

netch@localhost [(none)]> select null is null;
+--------------+
| null is null |
+--------------+
| 1 |
+--------------+
1 row in set (0.00 sec)



Это из MySQL, но в других SQL СУБД будет похоже. Так что эта традиция достаточно древняя и почтенная :)

Равенство != идентичность содержания, а как минимум в JS лёгкой проверки на второй не завезли (и, более того, '===', который должен был быть identity check, превратили в нечто заметно другое).

У него нет собственного смысла. NaN — это как Nothing. А Nothing таки равен Nothing

Вы не правы. NaN – это совсем не тоже самое что Nothing/Null/None.

IEEE754 определяет множество значений, которым могут выражаться рациональные числа, но не все возможные значения IEEE754 являются числами: NaN, +Infinity и -Infinity не являются числами, хоть и являются корректными значениями типа.

Операции порядка и тождества (>, >=, <, <=, ==, !=) могут быть определены над разными множествами (числа, строки, и т.д.), но далеко не для любого множества выполняется свойство полной упорядоченности (total ordering) и далеко не всегда значение тождества может быть определено для всех пар элементов множества.

Посмотрите на это с точки зрения математики: равна ли «бесконечность» самой себе либо бесконечности полученной другим образом, например умножением первой бесконечности на 2?

Большинство языков программирования ожидают что функции сравнения и тождества (>, >=, <, <=, ==, !=) всегда должны возвращать только булевое значение (true/false).

Ошибочно полагать, что если «a < b» возвращает false, то это означает что a не меньше чем b. Это означает что ответ на вопрос «is a less than b» является false. Это так же означает, что результатом выполнения «a > b» так же может быть false, просто потому что между значениями a и b нет отношения порядка.

Довольно удачно на мой взгляд эта концепция реализована в Rust, где есть интерфейс Ord (для полностью упорядоченных множеств), и PartialOrd (для множеств, между которыми может быть установлен только частичный порядок, как числа с плавающей запятой):

trait PartialOrd {
    fn partial_cmp(&self, other: &Self) -> Option<Ordering>;
}

Таким образом, если вы попытаетесь выяснить отношение порядка для двух значений чисел с плавающей запятой, у вас может быть четыре варианта результата: Some(Ordering::Less), Some(Ordering::Equal), Some(Ordering::Greater) и None.

И если вы сравните NaN и NaN в Rust, то результатом сравнения будет None, поскольку между этими значениями нет установленной упорядоченности – они не равны, не меньше, и не больше друг друга.

Всё так. Intel вместе с Motorola. У Кахана это расписано.
Но реализация вначале была очень медленной, и только где-то после 2005 это начали исправлять.

Удивление вызывает необоснованность и локальность такого решения. Искать подобные подвохи в документации — это противоестественно.

Он появился в изначальном Unix. А вот почему дальше его копируют 1:1 — вопрос интересный :)

Здесь просто напрашивается басня про шатл и лошадиную задницу.

Можно ещё вспомнить, что в VBA коды ошибок унаследованы — через длинную вереницу бейсиков — из Microsoft BASIC-80; поэтому их нумерация начинается с 3 и идёт с пропусками.

Если ФФ неправильно показывает мой любимый сайт, то что я сделаю?
а) убедю хозяев сайта его переписать; или
б) выкину ФФ и поставлю браузер, который показывает мой любимый сайт правильно?

Офисные макросы — это VBA (Visual Basic for Applications). А на самом VB лабалось немало прикладного софта под винды в свое время.

C++ — язык с достаточно строгой типизацией?