Re: Generic procedures and their parameters

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

"Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org> writes:

> Robert A Duff wrote:
> > Note that making everything tagged, and having a root Object type in
> > the
> > hierarchy doesn't really make everything OO.  OO-ness really comes from
> > 'Class, mainly.
> 
> OO-ness (object-oriented-ness) is a design attribute.

Well, yeah, that's true.  I guess I'm focusing on language features that
support OOP, as opposed to OOP itself.  And I'm deliberately ignoring
OOD and OOA, which are, to a large extent, snake oil.

>... You can have
> perfectly good OO-ness without type extension, dispatching, or
> 'Class. You can have it in Ada 83 or assembler. Similarly, the use of
> type extension, dispatching, or 'Class doesn't give you OO-ness. They
> give you programming by extension, which does not necessarily have
> anything to do with OO-ness.

I'll quibble with the Ada 83 part.  Part of OOP is the "open-closed
principle", which means you can change/extend behavior of something
without modifying its source code.  That really requires dispatching, or
something very much like it, and Ada 83 doesn't have any form of
indirect call with which to similate that.  Asssembly languages do,
though.

Of course, you can simulate (say) Smalltalk in Ada 83, and then do OOP
using that, but then that's not quite Ada programming anymore.

- Bob