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=unavailable autolearn_force=no version=3.4.4
Path: 
 border1.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!goblin2!goblin.stu.neva.ru!cyclone01.ams2.highwinds-media.com!news.highwinds-media.com!voer-me.highwinds-media.com!eweka.nl!lightspeed.eweka.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 12 Apr 2013 11:41:25 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130328 Thunderbird/17.0.5
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Is this expected behavior or not
References: <c988e09f-8532-4840-9749-b61aa39551b4@googlegroups.com>
 <cqf0yy6q930$.1sdzw45bc0c1w.dlg@40tude.net> <kj2e90$9iu$1@munin.nbi.dk>
 <byacn0wck9qt$.norrlukaw80l$.dlg@40tude.net> <kj5cqn$8q7$1@munin.nbi.dk>
 <1gnmajx2fdjju.1bo28xwmzt1nr.dlg@40tude.net> <kjd9ec$6lr$1@munin.nbi.dk>
 <3gv2jwc95otm.pl2aahsh9ox8.dlg@40tude.net> <kjfk1t$38n$1@munin.nbi.dk>
 <1gkxiwepaxvtt$.u3ly33rbwthf.dlg@40tude.net> <kjig2j$nof$1@munin.nbi.dk>
 <1fmcdkj58brky.bjedt0pr39cd$.dlg@40tude.net> <kjknuu$gc8$1@munin.nbi.dk>
 <1bj564vat3q1j$.1s4d00rlzx4ux$.dlg@40tude.net> <kjnt9t$ia$1@munin.nbi.dk>
 <igo6blwn0oas$.wifvpq91hm9m.dlg@40tude.net> <kk27vf$uco$1@munin.nbi.dk>
 <8bj2k30k7i19.w7ehsldwbf7x.dlg@40tude.net> <kk4ns0$7b7$1@munin.nbi.dk>
 <1o34nhpfuy6yl$.2orlukd1elr7.dlg@40tude.net> <kk7fes$c3a$1@munin.nbi.dk>
 <lhy7cs9p0v0t.jmyir4bofwok.dlg@40tude.net>
In-Reply-To: <lhy7cs9p0v0t.jmyir4bofwok.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <5167d6c6$0$6633$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 12 Apr 2013 11:41:26 CEST
NNTP-Posting-Host: 4dd0712b.newsspool2.arcor-online.net
X-Trace: DXC=jj?PVXDMlk[PU8j_I0DN6_A9EHlD;
 3YcR4Fo<]lROoRQ8kF<OcfhCO[Hbm@c@?m5g]nc\616M64>ZLh>_cHTX3j]QnF8; HhO?1T
X-Complaints-To: usenet-abuse@arcor.de
X-Received-Bytes: 2685
X-Original-Bytes: 2902
Xref: number.nntp.dca.giganews.com comp.lang.ada:181031
Date: 2013-04-12T11:41:26+02:00
List-Id: <comp.lang.ada>

On 12.04.13 10:17, Dmitry A. Kazakov wrote:
>>>> For instance, I tend to write out the entire name of the conversion
>>>> >>>between string and unbounded string:
>>>> >>>
>>>> >>>     Ada.Text_IO.Put_Line (Ada.Strings.Unbounded.To_String (My_Object));
>>> >>
>>> >>Hideous. What kind of information this mess should convey to the reader?
>>> >>2/3 of it is noise. My_Object is a string, why Put_Line does not handle
>>> >>it?
>> >
>> >It's a "string", not a String.
> And*semantically*  the difference is?

The difference is in the meaning that one assigns to "String".
"One" refers to one of two minds performing the assignment:

(a) he who considers a program as per how Ada is defined,
     literally.

(b) he who considers a program in terms of definitions that
     underlie the the definition of Ada, though not literally.