> It's a language that didn't go all the way to null-safety. Is it? I can’t think of any langage but Elm which doesn’t have that assertion. Though I guess e.g.

> It's a language that didn't go all the way to null-safety. Is it? I can’t think of any langage but Elm which doesn’t have that assertion. Though I guess e.g. Idris or ATS could have left out as well.