Null-безопасность и тип Result: ошибки как значения

Коротко: Современные языки делают «нет значения» и «ошибку» видимыми в типе (option, result, nullable-типы), так что компилятор обнаруживает забытые проверки, а не всё взрывается во время выполнения.

Подробнее: Изобретатель нулевой ссылки Тони Хоар назвал её своей «ошибкой на миллиард долларов»: почти любое значение может внезапно оказаться null, а забытые проверки приводят к NullPointerException и TypeError. Новые языки моделируют отсутствие в системе типов.

Подробности

Optional / nullable-типы

• Kotlin: `S…

См. также: NullPointerException, обработка исключений, Cannot read properties of undefined