Petr, of the community, agrees with you, 
yes well, that’s a longer conversation about when I need to write tests and depends on what kind of code i’m writing (i’m referring to the extent of testing - i’m always testing whether i like it or not 
. I think we can agree that the compiler catching a typo is preferable to devising a run-time test to catch a typo, or can we ?
So, trade-offs, trade-offs. Ever the problem…
Looking at a C program, if the variable is not declared, ERROR. Therefore,
global varname :: T
as a requirement means a global has to be declared and problem solved, right ? However, by the theorem of “simple and wrong”, it’s not that easy, or it would have been done. 
I believe i’m taking the off-topic thread, off-topic. I’ll stop now.
A compiler that doesn’t catch typos aside, I love Julia, and I think Nim is pretty neat too. I thought CLOS was the greatest thing ever, and I was always a fan of macros, so discovering Julia (back at 0.48) and seeing that it incorporated those kind of things sure was exciting 
I’ve been using it ever since. in my little corner of the world it’s a bit of a tough sell, because Matlab. But that’s a different off-topic thread.