Re: Why .ads as well as .adb?

[Keith Thompson <kst-u@mib.org>]

Paul Rubin <no.email@nospam.invalid> writes:
> Brad Moore <bmoore.ada@gmail.com> writes:
>> I think it is a big mistake of languages that encourage the
>> specification and implementation to be in the same source file, and
>> very surprised to see that anyone would be arguing for that.
>
> That seems like saying it's a mistake for math textbooks to be published
> as single volumes.  The text should instead be done in 2 volumes, with
> the statements of the theorems in the first volume, and the proofs in
> the second.  In practice I don't know of any math textbooks published
> that way.  There are some multi-volume ones, but they all still go:
> theorem, proof, theorem, proof.

Math textbooks have a table of contents and an index.  Both *could* be
in separate volumes, but there would be no particular advantage in that
(though it's entirely possible that the author kept them in separate
files).

-- 
Keith Thompson (The_Other_Keith) kst-u@mib.org  <http://www.ghoti.net/~kst>
Will write code for food.
void Void(void) { Void(); } /* The recursive call of the void */