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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a0be06fbc0dd71f1
X-Google-Attributes: gid103376,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps89.POSTED!53ab2750!not-for-mail
Sender: blaak@METROID
Newsgroups: comp.lang.ada
Subject: Re: The future of Ada is at risk
References: <20071229040639.f753f982.coolzone@it.dk>
 <13oe680qard6u2d@corp.supernews.com> <HrOhj.295370$Fc.152545@attbi_s21>
 <yUOhj.61904$eY.33531@newssvr13.news.prodigy.net>
 <kKThj.295755$Fc.128066@attbi_s21> <47887709.9030107@obry.net>
 <sa4bq7rl5f1.fsf@snoopy.microcomaustralia.com.au> <47889568.3010507@obry.net>
 <R%6ij.13868$6%.6087@nlpi061.nbdc.sbc.com> <4789038F.7090708@obry.net>
 <1200176645.8909.4.camel@K72>
From: Ray Blaak <rAYblaaK@STRIPCAPStelus.net>
Message-ID: <ulk6uxtw7.fsf@STRIPCAPStelus.net>
Organization: The Transcend
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Sun, 13 Jan 2008 03:54:21 GMT
NNTP-Posting-Host: 154.20.94.243
X-Trace: edtnps89 1200196461 154.20.94.243 (Sat, 12 Jan 2008 20:54:21 MST)
NNTP-Posting-Date: Sat, 12 Jan 2008 20:54:21 MST
Xref: g2news1.google.com comp.lang.ada:19370
Date: 2008-01-13T03:54:21+00:00
List-Id: <comp.lang.ada>

Georg Bauhaus <rm.tsoh+bauhaus@maps.futureapps.de> writes:
> - if your head is very much capable of spinning around
>   "algorithmically determined integer ranges"

I would say that it is not the integer ranges as such that are important. It
is the fact the different integer types are forced to be distinct.

In fact, since I have left the Ada camp, I have never felt the need to have a
constrained integer type (well, beyond Positive or Natural). I have however,
felt the need to have the compiler prevent accidental mixups between a "count
of widgets" and a "count of wingbats".

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
rAYblaaK@STRIPCAPStelus.net                    The Rhythm has my soul.