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,5af5c381381ac5a7
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!feeder2.cambriumusenet.nl!feed.tweaknews.nl!87.79.20.105.MISMATCH!news.netcologne.de!ramfeed1.netcologne.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada requires too much typing!
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <htnk3r02s27@drn.newsguy.com>
 <af8f8146-08a9-4ad9-8eed-edbc1a6bbc55@y11g2000yqm.googlegroups.com>
  <op.vdxa48vdz25lew@macpro-eth1.krischik.com>
 <03f84a0a-e070-43a9-9b68-920345f64f94@r27g2000yqb.googlegroups.com>
 <op.vdxqmnd6z25lew@macpro-eth1.krischik.com>
 <1c704c1e-1b2e-427f-ae0e-3b2a0f976c7c@y4g2000yqy.googlegroups.com>
 <op.vdy4awkuz25lew@macpro-eth1.krischik.com>
 <c459b285-851b-4d6f-95fe-0c28b58ddf45@e5g2000yqn.googlegroups.com>
 <14cxhfhcbdmaa$.gp6rbqu5865h.dlg@40tude.net>
 <e42a106e-e8f7-4b43-9924-f5426949856e@x21g2000yqa.googlegroups.com>
 <dtm07r1j3hd1$.1smgw34pbqe4x$.dlg@40tude.net>
 <457b9c75-1c94-4137-a823-2db342cb26d1@c10g2000yqi.googlegroups.com>
 <1bghlzj6b2s34.19id3bthuckg5$.dlg@40tude.net>
 <ce91d25d-9a7a-4663-a0a4-03dbdd202488@k39g2000yqb.googlegroups.com>
 <14jtohooi5uxn.rc9dqd69iwnk.dlg@40tude.net><81912a52-bd20-4d23-bf04-db67a14392e8@c33g2000yqm.googlegroups.com>
Date: Thu, 10 Jun 2010 15:57:33 +0200
Message-ID: <1m9pdb8iz8fl4.jy3t86t4jbzo.dlg@40tude.net>
NNTP-Posting-Date: 10 Jun 2010 15:57:33 CEST
NNTP-Posting-Host: cae5a51c.newsspool4.arcor-online.net
X-Trace: 
 DXC=N2Zh]6T=P;@WDmlTRbh@=I4IUK<Cl32<A4Fo<]lROoRA8kF<OcfhCOKUi2T4E211ZD[6LHn;2LCVN7enW;^6ZC`D\`mfM[68DCCQWGU1gb]l?G
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:12564
Date: 2010-06-10T15:57:33+02:00
List-Id: <comp.lang.ada>

On Thu, 10 Jun 2010 06:37:28 -0700 (PDT), Maciej Sobczak wrote:

> On 10 Cze, 10:15, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:
> 
>>> The appendThreeInts function uses the implicit common interface, even
>>> though vector and list do not share anything explicitly.
>>
>> You didn't use it.
> 
> I used it in the same way as I can use (for example) the addition
> operator for integer literals.

(Integer literals have one type Universal_Integer)

More generally the type "abstract integer" exists, but cannot be properly
used in Ada. In generics it is referenced as "range <>". This is a design
flaw and the same problem.

> The fact that something has no declared name in the program does not
> mean that it doesn't exist.

It means that it does not exist in the program. It may exist in the
programmer's head, one the paper etc, but that is irrelevant to the
language.

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