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,640b65cbfbab7216
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!noris.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada.Strings.Bounded
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: <q5CdnepU0ZzTxmzanZ2dnUVZ_t-nnZ2d@earthlink.com>
  <47F26C46.3010607@obry.net> <oYSdnZzY7_T8P2_anZ2dnUVZ_uGknZ2d@earthlink.com>
 <44d88b93-6a90-4c18-8785-2164934ba700@a9g2000prl.googlegroups.com>
 <47F652F7.9050502@obry.net>
 <d478eba3-b8d5-4727-bdd6-2fd68c341427@n1g2000prb.googlegroups.com>
 <e29ab2eb-4d08-4f15-96b4-de8318a94bab@1g2000prg.googlegroups.com>
 <47f7028d$1_6@news.bluewin.ch> <47F749CB.30806@obry.net>
 <f10fbaff-0546-4c3f-9d62-267bbdcea7ea@w4g2000prd.googlegroups.com>
 <480111a5$0$23695$9b4e6d93@newsspool2.arcor-online.net>
 <5d94b37c-20cd-46cf-b4c9-94bd2047c438@b5g2000pri.googlegroups.com>
 <wccmynx4itf.fsf@shell01.TheWorld.com>
 <0a2bbbb1-19d8-41d3-84a0-321cd045a48b@1g2000prf.googlegroups.com>
 <1oezq4ijzah23.18y7fwriuqe6s.dlg@40tude.net>
 <927bd9bc-1de1-44ae-ae20-35c1cc599d17@k1g2000prb.googlegroups.com>
Date: Mon, 14 Apr 2008 20:36:25 +0200
Message-ID: <bhaxtscs9i5j.twpgtk3qcgza.dlg@40tude.net>
NNTP-Posting-Date: 14 Apr 2008 20:36:28 CEST
NNTP-Posting-Host: 1f4df243.newsspool1.arcor-online.net
X-Trace: 
 DXC=g6ikoUW_Td:i6K;>iZ]763ic==]BZ:af>4Fo<]lROoR18kF<OcfhCO;DkkFbI0D:E3WRXZ37ga[7:ncfD5BXcIX0g_5XJ:n]4a;XenPUYYK5Q7
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:20943
Date: 2008-04-14T20:36:28+02:00
List-Id: <comp.lang.ada>

On Mon, 14 Apr 2008 08:25:41 -0700 (PDT), Eric Hughes wrote:

> On Apr 14, 2:00 am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
> wrote:

>> There is a difference between types and their constrained subtypes in terms
>> of substitutability. That's why the language has Constraint_Error defined.
>> The contracts extended by Constraint_Error aren't violated and everything
>> is fine.
> 
> Sure, but again not the point.  The relationship between a universal
> type and an implemented type is NOT the same as that between two
> implemented types.

Certainly, but I don't see why should we care about an non-implemented
type. Well, an application dealing with mathematical objects might be
interesting in modeling N, but it is not the language concern. The same way
as Ada does not care about types of organic molecules...

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