"that types are often a great name for variables, which both the programmer and compiler can use to easily and effectively understand most common code." This h

"that types are often a great name for variables, which both the programmer and compiler can use to easily and effectively understand most common code." This hit me, what if variable names CONTAIN types? int__i = 1 And of course, it can be made optional. I will much prefer to do optional typing in the var name itself rather than the ugly syntax that guido has proposed with python.