"Type inference"? No!


So rust has a clever mechanism that allows explicit type declarations to be omitted from variable bindings in many cases, because it can infer the correct type from later operators and assignments that touch the variable. This is great, and very useful.

Concentrating on the mechanism, of course, rust calls this type inference. It should have been called touch typing.


Is there a fun name for `::`?

Very bad pun!!!