11 Jan
2005
11 Jan
'05
4:53 p.m.
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-)