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=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:ad4:58eb:: with SMTP id di11mr2875305qvb.39.1588322293865;
        Fri, 01 May 2020 01:38:13 -0700 (PDT)
X-Received: by 2002:a9d:7d15:: with SMTP id v21mr2682164otn.182.1588322293306;
 Fri, 01 May 2020 01:38:13 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!news.muarf.org!nntpfeed.proxad.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 1 May 2020 01:38:12 -0700 (PDT)
In-Reply-To: <r8gkf4$ul2$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=185.22.143.55;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 185.22.143.55
References: <9f0215ca-2760-47cf-a7cb-50184892e1d0@googlegroups.com>
 <r8gkf4$ul2$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0632fbec-c29f-40c8-8b78-9ee2aaef7723@googlegroups.com>
Subject: Re: What is the history behind Natural'First = 0 ?
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Fri, 01 May 2020 08:38:13 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: reader01.eternal-september.org comp.lang.ada:58539
Date: 2020-05-01T01:38:12-07:00
List-Id: <comp.lang.ada>

Am Freitag, 1. Mai 2020 09:52:05 UTC+2 schrieb J-P. Rosen:
> Le 01/05/2020 =C3=A0 06:51, reinert a =C3=A9crit=C2=A0:
> > Why Natural'First =3D 0 ?
> >=20
> Because that's the way it is  ;-)
>=20
> Anyway, type Integer is not the mathematical notion of (infinite)
> integers, and more generaly computer types are only reduced abstractions
> of mathematical notions.

Being a wiseacre, I'd like to point out out RM 3.5.4(8):
The set of values for a signed integer type is the (infinite) set of mathem=
atical integers[, though only values of the base range of the type are full=
y supported for run-time operations].

> There is a need for a subtype of type Integer with lower bound 0, and
> another one for lower bound 1. The names have been chosen by Ichbiah
> following usual practice, they could have been anything else.

Yes, could have been Natural and Natural_0. I find Ichbiah's choice optimal=
.