> ...
>
> 2) I like headers because they are specifications (they aren't, but
> what can I do if one believe so? nothing).
I think that's a matter of opinion, and language-specific as well. C is such a
loose language that applying the notion of "specification" is hard. Ada is
quite another story. From what little I know of it, I would go along with the
Ada experts' comments.
And as an implementer of large C/C++ based embedded systems, I tend to the view
that, while some programmers don't think of headers as specifications, they
should, and doing so is helpful to achieving high quality.
paul
