I am corrected. But the importance of type inference (which does not, BTW, originate in C++) is that it enables declarations in circumstances where the type ca

I am corrected. But the importance of type inference (which does not, BTW, originate in C++) is that it enables declarations in circumstances where the type cannot be named, or even just not conveniently.