Re: Ranges and (non)static constraints

["Jeffrey R. Carter" <spam.not.jrcarter@acm.not.spam.org>]

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.

> 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.

-- 
Jeff Carter
"Sheriff murdered, crops burned, stores looted,
people stampeded, and cattle raped."
Blazing Saddles
35