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,d5b211b0c1ffcf3e
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Received: by 10.68.220.230 with SMTP id pz6mr1624152pbc.3.1339660928089;
        Thu, 14 Jun 2012 01:02:08 -0700 (PDT)
Path: 
 l9ni49260pbj.0!nntp.google.com!news2.google.com!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Practicalities of Ada for app development
Date: Thu, 14 Jun 2012 10:02:07 +0200
Organization: cbb software GmbH
Message-ID: <1pj6gkxpren4r.tn2hv6r1fdh5.dlg@40tude.net>
References: <f214ca96-cb72-4171-b952-32c19f6d0d7c@googlegroups.com>
 <f0203f8d31f75a88dab13832de823f5e@dizum.com>
 <89e137c8-45b1-48a3-8d15-3a15d8796af0@googlegroups.com>
 <b58b3a07-277b-4556-9776-b97c0a4471ef@googlegroups.com>
 <1ij4sij23rw7l.g2ym8z451mt4.dlg@40tude.net>
 <25b7d199-634c-44d6-b9db-4bd20d4c9d19@googlegroups.com>
 <1mm52az2aghu6$.12xokh559i5a6.dlg@40tude.net>
 <op.wfu3hbszule2fv@douda-yannick>
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
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Date: 2012-06-14T10:02:07+02:00
List-Id: <comp.lang.ada>

On Thu, 14 Jun 2012 00:01:49 +0200, Yannick Duch�ne (Hibou57) wrote:

> Le Wed, 13 Jun 2012 21:11:04 +0200, Dmitry A. Kazakov  
> <mailbox@dmitry-kazakov.de> a �crit:
> 
>> On Wed, 13 Jun 2012 11:21:10 -0700 (PDT), Shark8 wrote:
>>
>>>> Similarly, encoding is an implementation of two interfaces one of  
>>>> which an
>>>> array of code points another is an array of storage or stream elements.
>>>>
>>>> There is no need in any libraries to be cut and paste for each of the
>>>> infinite combination of string representations x implementation x code
>>>> point constraints x bounds constraints etc. It is insanity.
>>>
>>> Who said anything about using an infinitude of implementations?
>>
>> The language forces this, because Ada is incapable to abstract
>> implementation from the interface in many cases. Array interface is among
>> them.
> 
> You know, you can define an ADT with array behavior.

I made my point about *array interface*.

Encoding/representation issues require multiple array interfaces
implemented by the same type.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de