Если программист на раввина налезет, кто кого сборет?

[spamsink]

Ребе, что должна возвращать функция min(NaN, -Infinity)?

Сравнение этих двух значений с помощью сишной функции fmin дает разные результаты в зависимости от использования -ffast-math при компиляции. Библиотечная функция возвращает -Infinity (хорошо хоть, что независимо от порядка аргументов, как могло бы быть при наивном способе), а команда процессора minsd возвращает NaN.
Upd: Всё еще забавнее: библиотечные функции fmin и fmax рассматривают NaN как "пусто", т.е. если один из аргументов - NaN, то возвращается другой.

Comments

[dvv.livejournal.com]

В wg по языку есть раввин?

[archaicos.livejournal.com]

Смотря где. Для начала нужно определиться с семантикой.

[qehgt.livejournal.com]

Что min, что max - обе должны NaN возвращать. Это ж NaN.

[yatur.livejournal.com]

+1
Амен

[1500py470.livejournal.com]

+ 2
А равин типа — а, что вы таки имеете в виду

[spamsink]

Не знаю; трюк в том, что можно придумать аргументы за оба ответа.

[spamsink]

В IEEE-754, например.

[dvv.livejournal.com]

Придумать можно что угодно, но пока не будет драфтов с рациональями, стандарта, эррат к нему и пр. — это не интересно. Кстати, что значит "оба"? Как минимум, третий вариант ещё можно придумать.

[spamsink]

The 2008 version of the IEEE 754 standard says that pow(1,qNaN) and pow(qNaN,0) should both return 1 since they return 1 whatever else is used instead of quiet NaN.

Рассуждая по образцу, получаем, что должно возвращать соответствующую бесконечность.

[spamsink]

См. мой коммент ниже.

[spamsink]

Я имею в виду, что есть два мнения, и оба правильные. :) См. ниже.

[ticklish-frog.livejournal.com]

Любая арифметическая с NaN должна выдавать NaN, по идее.

[spamsink]

Какой? Если NaN был quiet, то что-то должно вернуть, а какие еще варианты?

[dvv.livejournal.com]

Если должно, то на это чаптер и вёрс должны быть. Иначе — ничего не должно.

[raydac.livejournal.com]

больше интересно кто у них родится

[yatur.livejournal.com]

Вот тут, ИМХО, самое время применить раввина. Который объяснит им, что это идеологически неверно. Кстати, а pow(0,0) у них тоже 1 возвращает?

[spamsink]

The standard has alternative functions for powers:

• The standard pow function and the integer exponent pown function define 0⁰, 1^∞, and ∞⁰ as 1.


• The powr function defines all three indeterminate forms as invalid operations and so returns NaN.

[spamsink]

https://en.wikipedia.org/wiki/IEEE_floating_point#Exception_handling

Выбирай.

[archaicos.livejournal.com]

Если там не написано про штуки типа min, то вопрос семантики остаётся.

[archaicos.livejournal.com]

SIGавтобус. :)

[dvv.livejournal.com]

Ага. И выдал Лео Таксиля вместо Торы.

[dluciv.livejournal.com]

На мой взгляд, NaN, как и любая другая бинарная операция.

[spamsink]

Вот я и спрашиваю. Впору вводить minr по аналогии с powr.

[dluciv.livejournal.com]

Тут вопрос, по какому из аргументов непрерывность важнее — по основанию, или по степени. А это уже сильно зависит от задачи.

[spamsink]

По стандарту прерывания опциональны.