Null-безпека та тип Result: помилки як значення

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

Докладніше: Винахідник нульового посилання Тоні Гоар назвав його своєю «помилкою на мільярд доларів»: майже будь-яке значення може раптом виявитися null, а забуті перевірки призводять до NullPointerException і TypeError. Нові мови моделюють відсутність у системі типів.

Подробиці

Optional / nullable-типи

• Kotlin: `S…

Див. також: NullPointerException, обробка винятків, Cannot read properties of undefined