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,73cb216d191f0fef X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.68.246.229 with SMTP id xz5mr7170300pbc.1.1366858403720; Wed, 24 Apr 2013 19:53:23 -0700 (PDT) Path: ln4ni549pbb.0!nntp.google.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!backlog1.nntp.ams.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!rt.uk.eu.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Is this expected behavior or not Date: Thu, 18 Apr 2013 13:52:20 +0200 Organization: cbb software GmbH Message-ID: References: <516e6a0e$0$9505$9b4e6d93@newsspool1.arcor-online.net> <516efa28$0$9518$9b4e6d93@newsspool1.arcor-online.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.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-Original-Bytes: 2589 X-Received-Bytes: 2752 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Date: 2013-04-18T13:52:20+02:00 List-Id: On Wed, 17 Apr 2013 21:38:28 +0200, Georg Bauhaus wrote: > On 17.04.13 11:57, Dmitry A. Kazakov wrote: > >>> If the Ada type system cannot express >>> time and space, I'll still consider them >>> functional requirements. >> >> And this should justify conflation of a representation with the type >> semantics... surely. > > Representation is functional, You should feel obliged to write an AI to disband ARM 7.3. > Nothing is conflated here because semantics is assignment of meaning, http://en.wikipedia.org/wiki/Semantics > String is a good example. String is an array, and nothing else. Wrong. String has an array interface. In fact it has at least two array interfaces one of character/code points, another of encoding units. Operations like Find can be considered a third array interface. In many languages strings can be indexed by strings. > The existence of RM A.4.({4,5}) is of no consequence. To hell with it. In that case show us a way to create unbounded arrays with representation guts inside out. Your concept simply does not hold. There are simple indisputable facts: 1. The representation of string object is irrelevant to what string is. 2. It is impossible to have one implementation suitable for all string objects and all application domains that use strings, e.g. DNA sequencing, pattern matching, text processing, compiler construction etc. > The existence of RM 3.6 is essential, because of array semantics. Array semantics? What's that? You claimed that semantics is representation. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de