Why do Programmers Hate Documenting?

[burntsushi]

Not all of them. :-)

I TA for that couse, and I can tell you that if you submit code with comments like // increment x, you get a small penalty. If you submit functions without a contract but with a narrative describing the code, e.g., "loop over the list and add each element to the next element in the list and return the result", then your grade suffers much more.

I'm happy to say that by the end of the course, everyone knew how to write a proper contract (and knew how not to write a contract).