Лучшее объяснение для языков без null

Время от времени, когда программисты жалуются на нулевые ошибки / исключения, кто-то спрашивает, что мы делаем без null.

У меня есть некое базовое представление о крутых типах опций, но у меня нет знаний или языковых навыков, чтобы лучше выразить это.

• сопоставление с образцом и
• монадическое понимание