Optional / Maybe-typ
Typ som explicit kan vara "tomt" — Option<T> i Rust, T? i Kotlin/Swift, Maybe T i Haskell.
Tvingar dig att hantera båda fallen vid kompilering — slipp NullPointerException. Skiljer från null som "lurar" sig in i typen. Drivkraft i moderna språks design. TypeScript med strictNullChecks ger samma garanti.