Optional / Maybe türü
Açıkça "boş" olabilen tür: Rust'ta Option<T>, Kotlin/Swift'te T?, Haskell'de Maybe T.
Derleme zamanında her iki durumu da ele almanızı zorunlu kılar; NullPointerException'a son. Türün içine "sızan" null'dan farklıdır. Modern dil tasarımının itici güçlerinden biridir. strictNullChecks açık TypeScript de aynı güvenceyi verir.