Dynamic Typing in Nim

[alexeypetrushin]

I think there's lots of confusion of how the problem is formulated. This whole 
thing - "static vs dynamic typing" is confusing itself. It should be restated 
as "if correctness of program validated instantly by the compiler or not". 
Current compilers can't do that for some class of programs (what's called 
dynamic types), but... I think there's a good chance that the new generation of 
ML powered compilers, that should arrive soon, in next couple of years, will be 
able to do that.