comp.lang.ada
 help / color / mirror / Atom feed
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: An interesting quote on Java and C++
Date: 1997/09/22
Date: 1997-09-22T00:00:00+00:00	[thread overview]
Message-ID: <EGxFsv.9yF@world.std.com> (raw)
In-Reply-To: dewar.874759791@merv


In article <dewar.874759791@merv>, Robert Dewar <dewar@merv.cs.nyu.edu> wrote:
>Note that in Ada, wrap around (modular) types *do* have completely portable
>semantics, although in practice people will choose types that match thei
>hardware, ...

Not quite true.  3.5.4(27) allows special treatment of one's comp
machines.  (And there's an AI that worries about what the heck that
paragraph means.)  This is again the "efficiency over portability" way.

Note that modular types are not just about modular arithmetic -- they
also support bit-wise logical operations.  On a one's complement
machine, you still want to be able to have all-ones as a bit pattern, if
you're using these things as bit patterns, even though it's
arithmetically equal to zero.

- Bob




  reply	other threads:[~1997-09-22  0:00 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-09-03  0:00 An interesting quote on Java and C++ Nasser
1997-09-03  0:00 ` Samuel Mize
     [not found] ` <01bcb881$915526a0$d7000064@sim01.amst.co.at>
1997-09-03  0:00   ` Robert Munck
1997-09-05  0:00     ` Joachim Schroeer
1997-09-06  0:00     ` Robert Dewar
1997-09-24  0:00     ` Shmuel (Seymour J.) Metz
1997-09-08  0:00   ` Robert A Duff
1997-09-09  0:00     ` Robert Munck
1997-09-10  0:00       ` Robert A Duff
1997-09-10  0:00         ` Robert Munck
1997-09-11  0:00           ` Robert Dewar
1997-09-12  0:00             ` Robert A Duff
1997-09-18  0:00               ` Shmuel (Seymour J.) Metz
1997-09-19  0:00                 ` Robert A Duff
1997-09-20  0:00                   ` Robert Dewar
1997-09-20  0:00                 ` Robert Dewar
1997-10-03  0:00                   ` Robert I. Eachus
1997-09-20  0:00                 ` Robert Dewar
1997-09-22  0:00                   ` Robert A Duff [this message]
1997-09-12  0:00             ` Jon S Anthony
1997-09-10  0:00         ` Stephen Leake
1997-09-11  0:00           ` Roy Grimm
1997-09-12  0:00             ` Robert A Duff
1997-09-12  0:00         ` Jon S Anthony
1997-09-11  0:00       ` Robert Dewar
1997-09-12  0:00         ` Jon S Anthony
1997-09-12  0:00           ` Robert A Duff
  -- strict thread matches above, loose matches on Subject: below --
1997-09-25  0:00 Marin David Condic, 561.796.8997, M/S 731-96
1997-09-25  0:00 ` Shmuel (Seymour J.) Metz
1997-09-26  0:00   ` Tucker Taft
1997-10-07  0:00   ` Robert I. Eachus
1997-11-19  0:00     ` Shmuel (Seymour J.) Metz
1997-10-08  0:00 Marin David Condic, 561.796.8997, M/S 731-96
1997-10-09  0:00 ` Shmuel (Seymour J.) Metz
replies disabled

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