[Spivak]

And the magic sauce that makes Option nice to use is the type checker that can force you to handle the None case.

I would go even further that even if the semantics are a little clunky (wrap/unwrap) any programming language can implement Option.

[jolux]

True but you can’t restrict the type if your language is dynamic.