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.