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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1a52c822fc0dbb23
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps90.POSTED!023a3d7c!not-for-mail
Sender: blaak@METROID
Newsgroups: comp.lang.ada
Subject: Re: Rational for not making cursor tagged in Containers
References: <1176998738.656903.141250@q75g2000hsh.googlegroups.com>
 <wccodlkz0ej.fsf@shell01.TheWorld.com>
 <1177010938.200523.325290@p77g2000hsh.googlegroups.com>
 <wccodlkdrf3.fsf@shell01.TheWorld.com>
 <1a8y2vakorfhx.225uqh4hifpd$.dlg@40tude.net>
 <ufy6vsyq1.fsf@STRIPCAPStelus.net>
 <1xmzi7newnilp.23m3zze8h9yi.dlg@40tude.net>
From: Ray Blaak <rAYblaaK@STRIPCAPStelus.net>
Message-ID: <uirbr6kov.fsf@STRIPCAPStelus.net>
Organization: The Transcend
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Fri, 20 Apr 2007 17:05:28 GMT
NNTP-Posting-Host: 208.66.252.228
X-Trace: edtnps90 1177088728 208.66.252.228 (Fri, 20 Apr 2007 11:05:28 MDT)
NNTP-Posting-Date: Fri, 20 Apr 2007 11:05:28 MDT
Xref: g2news1.google.com comp.lang.ada:15161
Date: 2007-04-20T17:05:28+00:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> In a better language any type could be able implement record interface:
> 
>    type Foo is interface record  -- This not an implementation!
>       Mumble : Integer;
>    end record;
> private
>    type Foo is new Float; -- Implements the record interface
>    function "Mumble" (X :  Foo) return Integer; -- Getter
>    procedure "Mumble" (X : in out Foo; Value : Integer); -- Setter

As long as I can use prefix notation then I would be ok with this, e.g given
f:Foo, I can say f.Mumble := 2

Otherwise, ugh.

> 
> X := Y; -- Who owns assignment? 1 or X?

X, of course.

> 
> And, what makes you think that OO defines methods (primitive operations) as
> the behavior? (We can continue this in comp.object if you want.)

I don't know how else to define behaviour except via methods :-).

As to differences in beliefs regarding OO philsophies, I am not going to go
there, except to observer that Ada allows multiple approaches to work.

My point is only that my preferred conceptualizations of OO abstractions leads
me to prefer an obj.member notation, and I choose languages that allow that.

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
rAYblaaK@STRIPCAPStelus.net                    The Rhythm has my soul.