I have occasionally seen people make the distinction by talking about type deduction vs type inference.
Yeah that may be a good distinction -- I see that C++ auto is often called "type deduction"
Yeah that may be a good distinction -- I see that C++ auto is often called "type deduction"