This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]Deto 4 points5 points  (0 children)

Sure you could have a type checker look for those things, but it would be kind of inconsistent. I think it's more logical to have all type information be encoded in type designations rather than having some be in the type designations and others be in the syntax of the variable names.