"Documentation by paper"

[Robert Dewar]

Jamie Lokier wrote:
>     2. Implementers of a function which is not necessarily written in
>        "waterfall" style, i.e. not spec first, need to see and edit
>        documentation at the same time as the corresponding code.

Of course my anticipated response is that the spec should ALWAYS be
written first. A nice property of Ada is that it mandates this at
the language level (you can't compile a package body without
compiling the spec :-)