This sounds like the "stringly typed language" mockery of some languages. How is it actually different?