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.8 required=5.0 tests=BAYES_00,DATE_IN_PAST_12_24,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,d5b211b0c1ffcf3e
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Received: by 10.205.134.138 with SMTP id ic10mr537394bkc.8.1339713286531;
        Thu, 14 Jun 2012 15:34:46 -0700 (PDT)
Path: 
 e27ni48902bkw.0!nntp.google.com!news1.google.com!news2.google.com!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail
From: =?utf-8?Q?Yannick_Duch=C3=AAne_=28Hibou57?=
 =?utf-8?Q?=29?=
 <yannick_duchene@yahoo.fr>
Newsgroups: comp.lang.ada
Subject: Re: Practicalities of Ada for app development
Date: Thu, 14 Jun 2012 11:10:39 +0200
Organization: Ada @ Home
Message-ID: <op.wfvyf1jvule2fv@douda-yannick>
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> <1pj6gkxpren4r.tn2hv6r1fdh5.dlg@40tude.net>
NNTP-Posting-Host: NTyL1A5y1WruLcQDEgo8zQ.user.speranza.aioe.org
Mime-Version: 1.0
X-Complaints-To: abuse@aioe.org
User-Agent: Opera Mail/12.00 (Linux)
X-Notice: Filtered by postfilter v. 0.8.2
Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes
Content-Transfer-Encoding: Quoted-Printable
Date: 2012-06-14T11:10:39+02:00
List-Id: <comp.lang.ada>

Le Thu, 14 Jun 2012 10:02:07 +0200, Dmitry A. Kazakov  =

<mailbox@dmitry-kazakov.de> a =C3=A9crit:

> On Thu, 14 Jun 2012 00:01:49 +0200, Yannick Duch=C3=AAne (Hibou57) wro=
te:
>
>> Le Wed, 13 Jun 2012 21:11:04 +0200, Dmitry A. Kazakov
>> <mailbox@dmitry-kazakov.de> a =C3=A9crit:
>>
>>>> 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.

Unless I don't understand your point, define facades.

If I don't understand your point, give an example.

Side note: sometime I feel you expect too much generalization from Ada. =
 =

What I don't like with over=E2=80=91generalization, is that it makes all=
 idioms  =

looks the same, which in turn makes their occurrences less distinct and =
 =

visible.

-- =

=E2=80=9CSyntactic sugar causes cancer of the semi-colons.=E2=80=9D [1]
=E2=80=9CStructured Programming supports the law of the excluded muddle.=
=E2=80=9D [1]
[1]: Epigrams on Programming =E2=80=94 Alan J. =E2=80=94 P. Yale Univers=
ity