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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e5eb8ca5dcea2827
X-Google-Attributes: gid103376,public
From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Ada OO Mechanism
Date: 1999/06/03
Message-ID: <m390a1mibm.fsf@mheaney.ni.net>#1/1
X-Deja-AN: 485284752
References: <7i05aq$rgl$1@news.orbitworld.net> <7i17gj$1u1k@news2.newsguy.com>
 <t7lneeqlzf.fsf@calumny.jyacc.com>
NNTP-Posting-Date: Thu, 03 Jun 1999 08:04:01 PDT
Newsgroups: comp.lang.ada
Date: 1999-06-03T00:00:00+00:00
List-Id: <comp.lang.ada>

Hyman Rosen <hymie@prolifics.com> writes:

> Samuel Mize <smize@imagin.net> writes:
> > There are other OO design approaches that are harder to implement in
> > C++ than in Ada, because C++ strongly supports one specific view of
> > object-oriented technology.
> 
> Could you give an example of this?


  type Human_Type (<>) is tagged limited private;

  ...

  procedure Marry (Bride, Groom : in out Human_Type);


This is a binary operation:

  Marry (Linda, Paul);


The operation applies equally to both parties, so designating one object
as the distinguished receiver would not capture the abstraction as well.