3 ms·
> Fwiw, that's one instance where unnecessary information/features were removed I would rather had been preserved. If the information isn't necessary to reason
by dan00 12y ago
> Fwiw, that's one instance where unnecessary information/features were removed I would rather had been preserved.
If the information isn't necessary to reason about your program, to write
a correct and performant program, then you've just more information to
consume, and instead of the unnecessary information you could consume
other, necessary information.
- smosher_ 12y agoThe information isn't necessary for the compiler to reason about the program. The information is, in my opinion, useful for humans to reason about the program. The fact is I would reason about programs quicker if this was explicit. There isn't any more information to consume. The information is exactly the same. It's just different, which is why I think it should look different.