> Nulls/Nones are always a big gap in a language's type system. A > common alternative is to have some Option/Maybe type like Rust > or Haskell or D's Variant. How about making that required to > plug the null gap? There are others too who feel like that too: https://news.ycombinator.com/item?id=18588239