Re: Real OO (was Choice of OO primitives in Ada95)

[bobduff@world.std.com (Robert A Duff)]

In article <4git9e$cqi@stc06.ctd.ornl.gov>,
Matt Kennel <kennel@msr.epm.ornl.gov> wrote:
>Um maaaaybe, but 'once functions' do what they do with no fuss and with
>very clear semantics, without having to define an "elaboration" notion for
>packages. 
>
>I'm not sure that's a "kludge" compared to the complexity of package
>initialization in Ada. 

I'd say both mechanisms leave something to be desired.

>I think it *is* quite fair to say that Eiffel is more object-oriented---ok
>more oriented-around-objects than Ada 95: it's the idee' fixe for Eiffel. 

Yes, of course Eiffel is more object oriented than Ada.  (Not sure why
you add "-around-objects".)  This is because Ada has many features that
are not object-oriented at all.  There's no support, for example, for
polymorphic operations on tasks or arrays.  But this has nothing to do
with the package-vs-class issue.  The features of Ada that *do* support
OOP are just as OOP as anything else.

>This doesn't prove 'prima facie' superiority, though I tend to like
>Eiffel better.  (I've never been convinced about kludges to handle the 
>'multiple withing' problem).

What is the "multiple withing" problem?

- Bob