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

[thedeemon]

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

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

Comments

[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 () ().