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: 103376,73cb216d191f0fef X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.66.146.168 with SMTP id td8mr250820pab.17.1366440007294; Fri, 19 Apr 2013 23:40:07 -0700 (PDT) Path: oi7ni0pbb.0!nntp.google.com!npeer03.iad.highwinds-media.com!feed-me.highwinds-media.com!cyclone03.ams2.highwinds-media.com!news.highwinds-media.com!voer-me.highwinds-media.com!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Is this expected behavior or not Date: Sat, 20 Apr 2013 08:39:38 +0200 Organization: cbb software GmbH Message-ID: <1ml59j8xqpawc$.1p0b0ra8g89vr$.dlg@40tude.net> References: <516e6a0e$0$9505$9b4e6d93@newsspool1.arcor-online.net> <516efa28$0$9518$9b4e6d93@newsspool1.arcor-online.net> <51710936$0$6554$9b4e6d93@newsspool4.arcor-online.net> <84dn4lxu5j$.1mi40bvj8e8tc$.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: rHWOzyHApalsT5sEUcbvVQ.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 X-Received-Bytes: 3597 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Date: 2013-04-20T08:39:38+02:00 List-Id: On Fri, 19 Apr 2013 17:14:52 -0500, Randy Brukardt wrote: > "Dmitry A. Kazakov" wrote in message > news:84dn4lxu5j$.1mi40bvj8e8tc$.dlg@40tude.net... >> On Fri, 19 Apr 2013 11:07:05 +0200, Georg Bauhaus wrote: > ... >>> "Representation ... is meaningful, therefore it is semantically >>> important." >>> "semantics is assignment of meaning," >> >> So representation is not semantics/meaning, at least to the programmer, of >> course, not to the hardware running the program, not to the artist using >> code printouts as tapestry patterns etc. > > Ah, now we get to the root of the problem. We're talking about Ada > programming language design here, so when I talk about "semantics", I'm > talking about the semantics of the Ada programming language, as specified in > the Ada standard. So you are talking a tautology that the machine executes the program according to the language standard. Which is completely irrelevant to the issue, which is how programs are designed and what is required from the language side to support this activity. >> Confusing semantics of objects with semantics of values they hold? > > you're demonstrating *your* confusion. We're talking about string objects > here. And Ada doesn't have composite values; there are only objects. Yes, this is the core of your confusion. You conflate language semantics with program semantics. String is a problem space entity. The language may have some built-in types or means in order to model strings. These types are strings so long they model what programmers call "string." No longer. If for whatever reason there must be more than one type to model the same thing [string] these types must be mixed. > You then go on to say that the existence of different types requires mixing > and then at the same time says that different types surely must be kept > separate even if the representation is the same. You're essentially arguing > both sides of this argument at the same time. Not at all. I say that the choice depends on the problem space. Types are used to model things. When modeled things are unrelated so must be the types. When modeled things are related then types must be mixed. Representation is irrelevant it is a vehicle to achieve the goal, an implementation detail. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de