From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: What is the history behind Natural'First = 0 ?
Date: Fri, 1 May 2020 09:52:04 +0200
Date: 2020-05-01T09:52:04+02:00 [thread overview]
Message-ID: <r8gkf4$ul2$1@dont-email.me> (raw)
In-Reply-To: <9f0215ca-2760-47cf-a7cb-50184892e1d0@googlegroups.com>
Le 01/05/2020 à 06:51, reinert a écrit :
> Why Natural'First = 0 ?
>
Because that's the way it is ;-)
Anyway, type Integer is not the mathematical notion of (infinite)
integers, and more generaly computer types are only reduced abstractions
of mathematical notions.
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.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2020-05-01 7:52 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-01 4:51 What is the history behind Natural'First = 0 ? reinert
2020-05-01 7:52 ` J-P. Rosen [this message]
2020-05-01 8:38 ` AdaMagica
2020-05-01 10:24 ` J-P. Rosen
2020-05-01 19:03 ` Keith Thompson
2020-05-01 21:36 ` Robert A Duff
2020-05-03 20:08 ` Keith Thompson
2020-05-04 3:02 ` Keith Thompson
2020-05-04 8:50 ` Paul Rubin
2020-05-04 14:22 ` Dennis Lee Bieber
2020-05-01 10:13 ` Jeffrey R. Carter
2020-05-01 18:14 ` Optikos
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox