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

SP>почему только локальные функции? Как бы чего не вышло?
Потому, что про нелокальные функции у компилятора нет информации. Я и с локальными-то сомневаюсь, что
Установка свойства уже может вызывать кучу логики вполне себе внешней.

SP>Да и пока не очень понял, так ли уж оно сильно надо? Например, чем плохо использовать обычные reference types?

avoiding unexpected nulls is a huge benefit, particularly in larger codebases where it's harder to keep track of the edge cases where things can be null by yourself

SP>Или использовать нормальные Optional (которых правда в шарпе нет, но их можно подтянуть извне). Н-р почти во всех языках Next будет Optional/Maybe.
Попробуйте переписать пример с использованием Optional. Станет хуже
SP>Вообще motivation часть как-то не раскрыта.
По-моему так вполне внятно раскрыта. Что именно непонятно или вызывает сомнения?