@mdhughes You seem to be conflating two things. Having a type system doesnt automatically prevent null references. I mean, some languages may work like that, and that would be great. But to take Java, for example, since it’s he one I know best: checking for null
values is depressingly the norm.
That said, I find the idea of setting a variable without specifying — or maybe even knowing — its type, to be... worrying, let’s say.