Strings are untyped

Integers are untyped too.<p>Another idea was to store the type information in the name of the variable, like in the Hungarian notation. <a href="http://www.joelonsoftware.com/articles/Wrong.html" rel="nofollow">http:&#x2F;&#x2F;www.joelonsoftware.com&#x2F;articles&#x2F;Wrong.html</a>

Strings are strings.<p>What you described, sounds a lot like good ol&#x27; typedef.<p>It solves one problem while introducing a bigger problem which is - everyone now needs to understand your &#x27;new&#x27; type system.

Why not use named arguments instead of adding type annotations?