ven
ven
That last one sounds Haskell-ish :P.
> (b) because making that assumption is "good for you", the developer, anyway, in the sense that your code doesn't gain anything from you changing the type of a variable...
> you might go from a program that compiles to one that doesn't. You mean, a program that is well-typed even though it has no type ascriptions? :P. > (Although...
I'm interested to know the status. I tried followed the recommendations here, but I still only see `realDemand=16` at most. Not sure if that's correct an issue, or if it's...
Doesn’t the end part (`)`) also need to be fixed?
This might deserve a part on using it with `auto` as well, which is very often used and sometimes less error-prone, like if you forget the `const` on the key...
Good point, I'm not sure. Maybe it should be introduced later, when they might actually mess it up :-)
this section is a bit confusing in generla. would you mind rewording the comments around this?