comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@gnat.com (Robert Dewar)
Subject: Re: 64-bit integers in Ada
Date: 4 Aug 2002 18:44:24 -0700
Date: 2002-08-05T01:44:24+00:00	[thread overview]
Message-ID: <5ee5b646.0208041744.6ef505af@posting.google.com> (raw)
In-Reply-To: 5ee5b646.0208040607.ebb6909@posting.googOrganization: LJK Software <PG2KS5+doDWm@eisner.encompasserve.org

Kilgallen@SpamCop.net (Larry Kilgallen) wrote in message news:<PG2KS5+doDWm@eisner.encompasserve.org>...
> Let's cure _all_ such individuals, by standardizing on 
> 4096 bits as the size for Standard.Integer :-)

Actually I think the rule of avoiding using explicit
references to Integer is pretty well established. yes,
you see occasional shops that violate this rule, but not
many (in our experience of seeing code from hundreds of
serious projects using Ada).

Actually the above would almost warrant presentation without a smiley
(as a way of effectively removing the
injudicious Standard.Integer type from the language if
it were not for the darned cross contamination with
type String.

What I would have done for the Ada design is to have only
*one* predefined type which would be called something like

   type String_Index is range 1 .. Implementation_Defined;

and leave all other integer types out of standard. I think
that would have worked better, and people would not have
"misused" String_Index as they occasionally misuse Integer.

I feel differently about Float incidentally, I think it is
reasonable to have predefined Float and Long_Float types.
It is simply asking too much for all useful fpt library
packages to be generic since they can't easily speak to
one another if you do that.



  parent reply	other threads:[~2002-08-05  1:44 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-05-16 11:27 64-bit integers in Ada David Rasmussen
2002-05-17  2:28 ` Robert Dewar
2002-05-17 13:56 ` Mark Johnson
2002-07-29 15:33 ` Victor Giddings
2002-07-29 20:15   ` Robert A Duff
2002-07-30 18:35     ` Richard Riehle
2002-07-30 20:20       ` Robert A Duff
2002-07-31  0:13       ` Robert Dewar
2002-07-31  4:17         ` Keith Thompson
2002-07-31  8:41           ` Larry Kilgallen
2002-07-31 13:20           ` Robert A Duff
2002-07-31 13:42             ` Marin David Condic
2002-08-01  7:54               ` Lutz Donnerhacke
2002-08-01 13:07                 ` Marin David Condic
2002-08-02  7:31                   ` Lutz Donnerhacke
2002-08-02 13:21                     ` Marin David Condic
2002-08-03 12:24                       ` Robert Dewar
2002-08-03 18:59                         ` Richard Riehle
2002-08-04  6:12                           ` Chad R. Meiners
2002-08-04 14:07                           ` Robert Dewar
2002-08-05  2:28                             ` Richard Riehle
2002-08-11 15:32                               ` Simon Wright
2002-08-13 21:14                             ` Randy Brukardt
2002-08-04 18:00                           ` Larry Kilgallen
     [not found]                           ` <5ee5b646.0208040607.ebb6909@posting.googOrganization: LJK Software <PG2KS5+doDWm@eisner.encompasserve.org>
2002-08-05  1:44                             ` Robert Dewar [this message]
2002-08-05  1:48                             ` Robert Dewar
2002-08-05 11:40                               ` Marc A. Criley
2002-08-05 14:40                                 ` Pat Rogers
2002-08-05  2:34                             ` Richard Riehle
2002-08-11 21:56                           ` Robert A Duff
2002-08-13 21:09                         ` Randy Brukardt
2002-08-18  1:01                           ` AG
2002-08-20  0:15                             ` Robert Dewar
2002-08-02  8:37                   ` Fraser Wilson
2002-08-02 12:54                   ` Frank J. Lhota
2002-08-01 11:57               ` Larry Kilgallen
2002-08-01 17:53               ` Ben Brosgol
2002-08-01 20:32               ` Keith Thompson
2002-07-31 21:50             ` Keith Thompson
2002-07-31 21:59               ` Robert A Duff
2002-07-30  4:29   ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox