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,4ff929aa5c2b2834 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!news4.google.com!newsfeed2.dallas1.level3.net!news.level3.com!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Ranges and (non)static constraints Date: Sun, 19 Nov 2006 17:51:04 -0500 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <1pqs0gcno5o2t.1195tm9yap28b.dlg@40tude.net> <160ziiyah2n7g.5k340gtji747.dlg@40tude.net> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls6.std.com 1163976665 25281 192.74.137.71 (19 Nov 2006 22:51:05 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Sun, 19 Nov 2006 22:51:05 +0000 (UTC) User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix) Cancel-Lock: sha1:bBDNAomTRtoVZooccRJkAMZEBxU= Xref: g2news2.google.com comp.lang.ada:7573 Date: 2006-11-19T17:51:04-05:00 List-Id: "Jeffrey R. Carter" writes: > Robert A Duff wrote: >> What's NINA? > > It's the name I've given to the language I've been thinking about for > some time. NINA is an acronym; it stands for NINA Is Not Ada. OK. I'm sure I will enjoy reading the RM for it someday. But are you sure you want to define it by what it is NOT, rather than what it IS? ;-) >> Well, I'll quibble with your names, here. When God created the >> integers, He didn't say they stop at 2**31-1 or 2**64 or whatever! >> The term "integer" (or the abbreviation "int") ought to mean the true >> unbounded integers. Names like Unbounded_Integer and _universal_integer >> are an abomination. ;-) > > You may have a point, there. What do you think the Ada type Integer > should be called, if Integer referred to Z? > String_Index_And_Exponentiation_Value seems a bit excessive to me, but > perhaps the concepts should be separated. String_Index seems reasonable for indexing strings. Machine_Integer seems reasonable for a type that matches the machine's register size (but it should not be in Standard). I think one wants a way to say (e.g.) that a type ranges from 1 up to at least a million, but it's fine to go beyond that, and please make it efficient (for example, perhaps round it up to 2**31-1). Instead of Machine_Integer, perhaps we want a way to define a type that can count the number of Mumble objects, given that if we create more than some number of Mumble objects, or an array of them, we can be sure this count will not overflow. That is, we would have run out of (virtual) memory before that count overflows. - Bob