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,90108ed846e3f1bf
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!news2.glorb.com!feeder.erje.net!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 20 Feb 2009 17:45:53 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Thunderbird 2.0.0.19 (Macintosh/20081209)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Language lawyer question: task activation
References: 
 <ccf8fc4b-80e3-4732-84e3-16c4e2d10c3d@v39g2000pro.googlegroups.com>
  <1dusr7frk73m7.nlsagplge0hk.dlg@40tude.net>
 <09a7aab3-d105-4a40-b25b-e2824cb12f89@j1g2000yqi.googlegroups.com>
 <rv6zobw6fror.csu22kh631qi$.dlg@40tude.net>
 <24bdd0df-9554-49de-9c5e-99572c9cdf34@g38g2000yqd.googlegroups.com>
 <d1d318e7-9cd8-4f28-9cc8-afa3752e711e@g38g2000yqd.googlegroups.com>
 <1v0f2pkso7p50.vein84avao5t.dlg@40tude.net>
In-Reply-To: <1v0f2pkso7p50.vein84avao5t.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <499ede41$0$32665$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 20 Feb 2009 17:45:53 CET
NNTP-Posting-Host: b38f63ca.newsspool2.arcor-online.net
X-Trace: 
 DXC=B_bP[;G:1YNWDmlTRbh@=IA9EHlD;3YcB4Fo<]lROoRA^YC2XCjHcbI\Vh?NhncDZ@;9OJDO8_SKFNSZ1n^B98iJ^j0Zc85>@9O
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:3720
Date: 2009-02-20T17:45:53+01:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov schrieb:

>  Function is thought as yielding a value.

Do you think of a function as yielding
 "a run-time entity with a given type
  which can be assigned to an object of
  an appropriate subtype of the type"?
(AARM 3.2(10.a))

The thought (idea) of a function yielding a value
is not obsoleted by build-in-place, I think:
One interpretation is that the yield of the constructor
function is an object and the function computes and
assigns the initial value.

The word "in-place" is not in Ada, only "build-in-place".

Then, a procedure returns, too. Consequently, a
function returning yields a value.

So I'd guess that thinking of a constructor function
as yielding a value is still apt. Maybe it is the
idea of a function in need of an overhaul?