News for hackers. Stuff that matters.

A comment on Trying Haskell. Parent comment

Re:Trying Haskell by Zaak on Sunday April 10, 2011 @05:39PM (#2430483)
On the one hand, I agree. On the other hand, a type declaration cannot possibly tell you /why/ unless the type system encodes a significant portion of our physical world.

This encoding is left as an exercise for the reader.

[ Parent | on HN ]
Re:Trying Haskell by silentbicycle on Sunday April 10, 2011 @07:29PM (#2430715)
Agreed, generally. I'd say comments are to express things the code itself cannot. More expressive languages can get by with good naming, some declarations, and clear idioms in many cases.

The most useful kind of comments are "why" comments, about why specific design trade-offs were chosen.

[ Parent | on HN ]