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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no 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-31 02:38:21 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.freenet.de!news-feed1.de1.concert.net!fu-berlin.de!uni-berlin.de!adsl-213-200-246-247.cybernet.CH!not-for-mail
From: Vinzent Hoefler <ada.rocks@jlfencey.com>
Newsgroups: comp.lang.ada
Subject: Re: Ariane5 FAQ
Date: Thu, 31 Jul 2003 11:36:06 +0200
Organization: JeLlyFish software
Message-ID: <bgao2b$mbukd$1@ID-175126.news.uni-berlin.de>
References: <3F248CEE.5050709@attbi.com> <3F25FB81.A81694FA@adaworks.com>
 <uispljeua.fsf@xsol.com> <3F27638A.888BAEC4@adaworks.com>
 <HvKVa.1136$7h6.473@nwrdny03.gnilink.net> <3F27C236.F5234B9C@adaworks.com>
 <bg8gjo$m124l$1@ID-175126.news.uni-berlin.de>
 <1059577616.650859@master.nyc.kbcfp.com>
 <bg8ni4$m0rvv$1@ID-175126.news.uni-berlin.de>
 <1059583575.465653@master.nyc.kbcfp.com>
 <bg8tcp$m4o7j$1@ID-175126.news.uni-berlin.de>
 <r2ihivk9iiejqvamh4euua48elb0oerllc@4ax.com>
Reply-To: v.hoefler@acm.org
NNTP-Posting-Host: adsl-213-200-246-247.cybernet.ch (213.200.246.247)
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: quoted-printable
X-Trace: news.uni-berlin.de 1059644299 23460493 213.200.246.247 (16 [175126])
X-Newsreader: Forte Agent 1.8/32.548
Xref: archiver1.google.com comp.lang.ada:41064
Date: 2003-07-31T11:36:06+02:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:

>On Wed, 30 Jul 2003 18:54:43 +0200, Vinzent Hoefler
><ada.rocks@jlfencey.com> wrote:
>
>>Hyman Rosen wrote:
>>
>>>If so, how?
>>
>>... only statically. There is no dynamic dispatching, so there's no
>>need for access types there.
>
>You can have dynamic dispatching without access types.

Well, SPARK still has no dynamic dispatching. All types of tagged
objects are known at compile time.

>If the target type is statically known, then static dispatch might
>well occur on an access parameter.

Yes, but SPARK doesn't know about access at all.

>>>If not, you can also avoid it in
>>>C++ in the same way.
>>
>>Probably, yes.
>
>Very difficult. C++ is unable to return unconstrained objects on the
>stack.

SPARK can't do that neither.


Vinzent.