запишу, ибо это очень

[gal_ka]

В программировании появился не так давно опциональный тип (по сути, он был давно, но в виде двух разных типов), задача которого отличать:
- ноль, которого еще никогда не было,
- ноль, потому что мы не знаем, что там может быть,
- ноль, который был задан изначально,
- и ноль, образовавшийся при вычитании тождественных величин. (с) sap

Как было модно говорить среди нас курсе этак на третьем: "Есть в этом что-то глубоко экзистенциальное".

Comments

[division---bell.livejournal.com]

кайфушки )))

[beldmit.livejournal.com]

Вариации на тему "Семантика NULL в реляционных базах данных"

[shuurrsh.livejournal.com]

А оно действительно вот так вот? А зачем, правда, различать, например, ноль, которого еще не было, ото того, который задан изначально?

[maynavira.livejournal.com]

в каждой бессмысленности есть вполне определённый, уникальный смысл

[nasse.livejournal.com]

Плохо понимаю, зачем различать два последних

[shuurrsh.livejournal.com]

Я более или менее понимаю, зачем отличать второй от всех других, и все:(

[maynavira.livejournal.com]

ноль, который был задан изначально - это константа
ноль, образовавшийся при вычитании тождественных величин - это результат действия, операции, имеет большую степень неопределённости

[slobin.livejournal.com]

(полгода спустя) Реализации Схемы имеют право, но не обязаны, при умножении чего угодно на точный ноль выдать точный ноль. В смысле, стерев все дополнительные свойства другого сомножителя. А вот при умножении на ноль неточный в ответе будет, конечно, ноль, но он унаследует свойства более "широкого" из сомножителей: например, оказаться комплексным, если один из сомножителей был им.

Update: соврал, конечно. Там всё как в математике -- любое целое число является также вещественным и комплексным, это включающие классы, а не исключающие. Может унаследоваться свойство "не быть вещественным".

P.S. Я не знаю, как вышесказанное соотносится с нанами и бесконечностями. Допустим, их не было.

... Покоя быстроты тебе стрелы летящей ...

[laiska.livejournal.com]

;0)))