Re: Ada OOP alternatives?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> On Wed, 16 Jul 2008 21:36:28 -0400, Robert A Duff wrote:
>
>> So it's clearly feasible to have information in bodies used
>> when compiling clients.
>
> It is feasible, but makes little sense. Why there should be bodies
> then?

I think you mean, "Why there should be specs then?".  ;-)

> What is the property of a body the specification does not have, and
> reverse?
>
> In other words, provided the compiler could not compile specifications
> without bodies, why the code reader/maintainer should be able to do this?

I want separate specs and bodies, not for the compiler's benefit, but
for the programmer's benefit.  I want to be able to read a concise spec,
without having to wade through the entire body.

The compiler should check legality without looking at other bodies.  But
it should look at bodies when generating code (at least if optimization
is turned on).

- Bob