It's interesting that the non-null-able stuff is getting into languages just right now.
When using stuff like JS, the possible nulls are a bigger problem than a wrong type in general (still a problem, but IMO not as significant) still systems like TypeScript started without it.
Re:Nim Programming Language 0.14.0 released
by christophilus on Wednesday June 08, 2016 @09:31AM
(#11862133)
Curious, if you don't mind... where do you work that you get to use Nim?
We've got two internal tools that are written entirely in Nim, and it's been brilliant pretty much all the way through. The rough edges of previous versions are steadily sanded away, and our code becomes more expressive with each version. The biggest thing I'm looking forward to (once v1.0 rolls round) is having the "not nil" specifier be the default for all types. That's going to bring it in line with the other static typing checker we use regularly (Flow) which will be a boon to those of us (mainly me) that live in both worlds most days heh.