4 ms·
now let's be serious. A google search for "ScopedTypeVariables" returns 13 300 results. That's minuscule. But well, let's just say that we have a fairly d
by jcelerier 8y ago
now let's be serious. A google search for
"ScopedTypeVariables"
returns 13 300 results. That's minuscule. But well, let's just say that we have a fairly different experience of haskell code.
> When all the arguments have well-annotated types, and you use a let or where variable to hold a temporary value, the type is inferred by a reader much more easily than when using auto in C++, and has a direct meaning in terms of the calculation at hand (e.g. it’s not done to reduce boilerplate like auto).
... In (non-generic) c++, function arguments always have types. You can't have `auto` in type declarations (thankfully it should come in C++20) - the comparison stands.
I've heard so many reticences to auto like yours from coworkers and interns, and then after three days in a large auto-enabled codebase no one ever did go back to writing unnecessary types.