Re: dynamic types with extra steps: Nitpick: In the situations you described, the type is known to the compiler at compile time no? Do you have the same proble

Re: dynamic types with extra steps: Nitpick: In the situations you described, the type is known to the compiler at compile time no? Do you have the same problem with "auto" in other languages?