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

VD>2. Ввести в систему типов аналог option[T] (нулабл-типы из дотнета не подходят, так как они применимы исключительно для вэйлью-типов).
Они не решают эту проблему и для value types — меня компилятор не обязывает проверять есть ли значение в обёртке.
Это подходит только для систем типов с алгебраическими типами данных.