[Haskell-cafe] Signature of a function

[Keith Wansbrough]

Daniel Fischer writes:

> One might replace type signatures with comments, of course, and so convey 
> better information, but that is more work, hence we poor ignorants will 
> settle for signatures.

You mean one might add comments _as well as_ type signatures, of
course.  The only thing worse than no comment is an incorrect comment.
At least type signatures are verified by the compiler, and cannot lie.

Haddock of course is based entirely on this concept - comments are
attached to type signatures, not code.

--KW 8-)