Optional- / Maybe-type
Een type dat expliciet "leeg" kan zijn: Option<T> in Rust, T? in Kotlin/Swift, Maybe T in Haskell.
Dwingt af dat beide gevallen al bij het compileren worden afgehandeld, dus geen NullPointerException meer. Anders dan null, dat ongemerkt in het type "binnensluipt". Een drijvende kracht in modern taalontwerp. TypeScript met strictNullChecks geeft dezelfde garantie.