Open
Description
It keeps coming up, and we still don't have it. Even if we have to have Option
and UOption
in the stdlib at the same time, I think it's probably better than people using null
all the time over concerns about the overhead cost of Option
. As has been noted by @sjrd a lot of times, null
cannot be equivalent to Option
due to its lack of parametricity (I think?).
And Seb has already written the implementation too!
We can also give it easy (implicit?) conversions to and from "normal" Option
s.