История изменений
Исправление eao197, (текущая версия) :
Так и число 42, утрируя, это такая же «сущность» для типа int — нужно наличие, нужен способ отличать все остальные числа от него, чтобы определить это число 42.
Доказательство по аналогии суть демагогия.
Речь не про int-ы и теорию множеств. Речь про ссылки/указатели. Для которых важны всего несколько значений — актуальная ссылка на какой-то объект и отсутствие таковой.
И вы либо вводите в язык понятие Void/nullptr для обозначения ссылки без значения. Либо вынуждены достигать такого же через специальные случаи в виде None для Option[T].
Исходная версия eao197, :
Так и число 42, утрируя, это такая же «сущность» для типа int — нужно наличие, нужен способ отличать все остальные числа от него, чтобы определить это число 42.
Доказательство по аналогии суть демагогия.
Речь не про int-ы и теорию множеств. Речь про ссылки/указатели. Для которых важны всего несколько значений — актуальная ссылка на какой-то объект и отсутствие таковой.
И вы либо вводите в язык понятие Void/nullptr для обозначения ссылки без значения. Либо вынуждены достигать такого же через специальные случае в виде None для Option[T].