все-таки можно!

[thedeemon]

Говорили, на ноль нельзя делить, а вот британские учоные научились! Берешь хаскель и делишь себе, получаешь конкретные числа:
Prelude> floor (1/0)
179769313486231590772930519078902473361797697894230657273430081157732675805500963132708477322407536021120113879871393357658789768814416622492847430639474124377767893424865485276302219601246094119453082952085005768838150682342462881473913110540827237163350510684586298239947245938479716304835356329624224137216

Для 1, -1 и 0 ответы разные выходят.

Comments

[perdakot.livejournal.com]

Я же говорил (про скалу), что встроенная длинная арифметика может оказаться не очень длинной или не очень целой. Не поверили.

[juan-gandhi.livejournal.com]

scala> 1/0
java.lang.ArithmeticException: / by zero

[perdakot.livejournal.com]

Это ничего не меняет. С 1 рабоает, а с 19 нет. Или 137.

[clayrat.livejournal.com]

scala> 19/0
java.lang.ArithmeticException: / by zero

scala> 137/0
java.lang.ArithmeticException: / by zero

[thedeemon.livejournal.com]

Ну, тут с длиной нет проблемы, это число можно умножить и в квадрат возвести и дальше увеличивать. Тут чисто вопрос конверсии NaN в целое.

[binf.livejournal.com]

Тут вопрос такой - wtf не кидается эексепшн в (1/0) ?

[perdakot.livejournal.com]

Не должно быть эксцепшона, операция деления должна возвращать Value a | DivizionByZero, но в оркестре что-то пошло не так.

[binf.livejournal.com]

тут вопрос религиозный - эксепшн, спец тип для каждой функции или Maybe, смотря кто на что онанирует. Но возвращать NaN - это уже тупость какая-то запредельная

[sassa-nf.livejournal.com]

ну так наличие NaN и есть признак, что Float на самом деле Maybe Float, или еще лучше Either NaN FiniteFloat

[binf.livejournal.com]

Нет, NaN и Maybe float абсолютно разные по семантике. Тут смысл, что деление на ноль может быть Maybe float если насрать на перформанс, но не NaN

[sassa-nf.livejournal.com]

нет, они абсолютно идентичные по семантике. Как только у вас в коде или хардвере появляется ветвление, у вас появляется Bool = Maybe () = Either () ().

[juan-gandhi.livejournal.com]

Поздравляю!

[helvegr.livejournal.com]

https://ghc.haskell.org/trac/ghc/ticket/3070

[sassa-nf.livejournal.com]

ну так сколько лет тому тикету!

[jamhed.livejournal.com]

Теперь благодаря британским ученым мы точно знаем что такое over 9000.

[zerthurd.livejournal.com]

Очередное доказательство преимущества х-я над убогими недоязычками

[wizzard]

а откуда эта чудесная картинка о faculty of numbers?

[thedeemon.livejournal.com]

https://www.youtube.com/watch?v=-r6NY4Kl8Ms ;)

[maxim.livejournal.com]

$ ghci
GHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help
Prelude> 1/0
Infinity

floor просто неправильный :-)

[nivanych.livejournal.com]

А вот для 1/0, 10/0, 100/0 и 1000/0 одинаковые получаются.

[thedeemon.livejournal.com]

совпадение!

[soonts.livejournal.com]

Интересно, из каких соображений афтары проигнорировали проверенный десятилетиями IEEE 754?

[nponeccop.livejournal.com]

А они не проигнорировали. 1 / 0 в примере реализован по IEEE754 и работает честно.

floor же не округляет float point до другого float point в рамках IEEE754, это конверсия float point в длинное целое. И она работает в этом случае неправильно.

[vanja-y.livejournal.com]

Забавно, что floor(0/0) и floor(-0/0) дают противоположные по знаку результаты)