Здравствуйте, EvilChild, Вы писали:

EC>Проверка на null это сравнение двух значений, но никак не test whether things have a desired structure.
Сравнение двух значений это лишь частный случай проверки структуры.

EC>Ты смешиваешь семантику и детали реализации.
EC>То что что-то передаётся посредством указателя ещё не значит, что значения типа имеет ссылочную семантику.
EC>Чтобы обозначить, что значение может отсутствовать используют Maybe, причём само значение типа Maybe не может быть null.
EC>Если бы ссылочная семантика присутствовала, то с чего бы вдруг Maybe понадобился?
Передача по ссылке и возможность присвоить этой ссылке null понятия ортогональные.