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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f039470e8f537101
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-30 01:48:22 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!newsfeed.vmunix.org!newsfeed.stueberl.de!proxad.net!wanadoo.fr!not-for-mail
From: Pascal Obry <p.obry@wanadoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Non-philosophical definition of Eiffel?
Date: 30 Jul 2003 10:48:20 +0200
Organization: Home - http://perso.wanadoo.fr/pascal.obry
Message-ID: <u1xw89z8r.fsf@wanadoo.fr>
References: <7u9Ua.13412$634.10307@nwrdny03.gnilink.net>
 <e2e5731a.0307251844.7ea4dab4@posting.google.com>
 <bDTUa.6456$AO6.976@nwrdny02.gnilink.net>
 <e2e5731a.0307271419.4390a02c@posting.google.com> <ud6fvzbzc.fsf@xsol.com>
 <e2e5731a.0307281001.1ae5ed0c@posting.google.com>
 <1059416297.548253@master.nyc.kbcfp.com>
 <lk7civoe7tqak5uq12e4rlk98b8m6jj2h6@4ax.com>
 <1059486223.780998@master.nyc.kbcfp.com>
 <8tucivgbh5hkuicrpdeuavau8muf6a9mrh@4ax.com>
 <1059496557.747795@master.nyc.kbcfp.com>
 <82347202.0307291339.1f8a6b65@posting.google.com>
 <1059517988.954409@master.nyc.kbcfp.com>
NNTP-Posting-Host: avelizy-103-1-5-59.w80-13.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: news-reader2.wanadoo.fr 1059554901 20934 80.13.115.59 (30 Jul 2003
 08:48:21 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 30 Jul 2003 08:48:21 GMT
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2.95
Xref: archiver1.google.com comp.lang.ada:40991
Date: 2003-07-30T08:48:21+00:00
List-Id: <comp.lang.ada>


Hyman Rosen <hyrosen@mail.com> writes:

> If you just call total(Item), it still can't use
> the return type to overload, but you can play
> tricks with pointers to functions, as shown.

This is not equivalent to the Ada version :( As you said
it is a trick and as for all tricks the safety of the
code is really affacted, not to speak about the readability !

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595