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

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

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