Functional languages model this with a value that is not null but must be handled at runtime before attempting to actually access the value, providing compiler checked prevention against unguarded null deferences. See Haskell’s Maybe type or F#’s Option type.