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

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