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 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: What is the history behind Natural'First = 0 ? Date: Fri, 1 May 2020 09:52:04 +0200 Organization: Adalog Message-ID: References: <9f0215ca-2760-47cf-a7cb-50184892e1d0@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Date: Fri, 1 May 2020 07:52:04 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="0171a3a1743123cf50a1c243dfb8542a"; logging-data="31394"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18T0qmCZU2h4lHboXEWWi3e" User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 Cancel-Lock: sha1:j8spNxJzkuDkTaxNDm2EMAsuSFY= In-Reply-To: <9f0215ca-2760-47cf-a7cb-50184892e1d0@googlegroups.com> Content-Language: fr Xref: reader01.eternal-september.org comp.lang.ada:58538 Date: 2020-05-01T09:52:04+02:00 List-Id: 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