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-Thread: a07f3367d7,c689b55786a9f2bd
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 07 May 2010 20:44:29 +0100
From: Georg Bauhaus <see.reply.to@maps.futureapps.de>
Reply-To: rm.tsoh-bauhaus@maps.futureapps.de
User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100329)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: for S'Image use Func??
References: <Xns9D7085FECB88EWarrensBlatherings@188.40.43.213>
 <hrv32p$nnu$1@tornado.tornevall.net>
 <Xns9D70A1202D673WarrensBlatherings@188.40.43.213>
 <wcciq70u6fo.fsf@shell01.TheWorld.com>
 <1ojboulapml8w$.1w5gfpk45kh72.dlg@40tude.net>
 <82ljbwm30w.fsf@stephe-leake.org> <m2ocgrjys5.fsf@pushface.org>
 <wcc7hnfiibz.fsf@shell01.TheWorld.com>
In-Reply-To: <wcc7hnfiibz.fsf@shell01.TheWorld.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4be47bb1$0$6874$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 07 May 2010 22:44:33 CEST
NNTP-Posting-Host: 342a5f8d.newsspool2.arcor-online.net
X-Trace: 
 DXC=laF;34CCY0Dk:C4l9A;OcOA9EHlD;3YcB4Fo<]lROoRA8kF<OcfhCOKIUX>iPO\@SDPCY\c7>ejVHKk0CZTcBFUAiQU[Q]O@61C
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:11392
Date: 2010-05-07T22:44:33+02:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:
> Simon Wright <simon@pushface.org> writes:
> 
>> Sometimes the 'Image way is useful even in that sort of context:
>>    Duration'Image (Finish_Time - Start_Time)
>> avoids the need for a local variable which 'Img would require.
> 
> By the way, I think this:
> 
>     Put_Line (Duration'(Finish_Time - Start_Time)'Img);
> 
> will be legal in Ada 2012.  Well, the 'Img is still a
> GNAT-specific thing, but I'm talking about the ability to
> use a qualified expression as the prefix of an attribute.
> 
> Now why isn't this:
> 
>     Put_Line ((Finish_Time - Start_Time)'Img);
> 
> legal?  I don't know, but the language is moving in
> that direction -- maybe by 2099,  the syntactic distinction between
> expression and name (and the semantic distinction between
> value and object) will disappear entirely.

This move towards expressions is not one of SPARK?
Lifting expressions into the rank of named entities
will inevitably give way to the temptation of not saying
(naming) what you mean. (Like anonymous access is reportedly
doing already in all sorts of places, giving rise
to another naming lasso, 'Ref IIRC.)

If this move favors placing the semantically first part of an
expression last, at the end, in the "by the way" position,
will Ada at last become a writer's favorite?

  - ((71)'Val & 'e' & TLD (3221233671))'Img