From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,c52c30d32b866eae
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,2ea02452876a15e1
X-Google-Attributes: gid103376,public
X-Google-Thread: 1108a1,c52c30d32b866eae
X-Google-Attributes: gid1108a1,public
From: donh@syd.csa.com.au (Don Harrison)
Subject: Re: Real OO
Date: 1996/05/03
Message-ID: <Dqt3vF.7sD@assip.csasyd.oz>#1/1
X-Deja-AN: 152700315
sender: news@assip.csasyd.oz
references: <DqsEoK.7Gr@world.std.com>
organization: CSC Australia
reply-to: donh@syd.csa.com.au
newsgroups: comp.lang.eiffel,comp.lang.ada,comp.object
Date: 1996-05-03T00:00:00+00:00
List-Id: <comp.lang.ada>


Robert A Duff writes:

:In article <Dqpo7r.HxD@assip.csasyd.oz>,
:Don Harrison <donh@syd.csa.com.au> wrote:
:>Comments? Do you love it? Hate it? Don't care?
:
:At first glance, it seems like a lot of added complexity, for not enough
:benefit.

Where do you see the added complexity? I don't think dispatching would be a
problem; you would just have extra levels. The drawback that I do see so far 
is most parameters would have to be exlicitly declared as frozen when you only 
want single dispatching (as in Ada) rather than being implicitly classwide 
(because the operation is not primitive to that parameter's class).

However, the benefits are significant, IMO:

a) Higher modelling integrity for two reasons:

   - Extraneous classes would seldom (never?) be required.
   - Encapsulation of abstractions (ovelapping on actions) would reflect reality
     more closely.

b) Symmetry would enhance correctness (eg. locking in concurrency).

:- Bob
                    ///
Don.               (o o)
=-=-=-=-=-=-=-=oOO=-(_)-=OOo=-=-=-=-=-=-=-=-