From: bill@world.nospam.com
Subject: Re: Ada and Java. different behaviour. casting long to int problem.
Date: 1999/06/16
Date: 1999-06-16T00:00:00+00:00 [thread overview]
Message-ID: <7k7ls5$15tv@drn.newsguy.com> (raw)
In-Reply-To: yecyahk4ox7.fsf@king.cts.com
In article <yecyahk4ox7.fsf@king.cts.com>, Keith says...
>My favorite compromise is the one that
>says:
>
> For any arithmetic operation on integers, you will get the
> mathematically correct result if it fits in the representation;
> otherwise, you will be clearly informed that the implementation
> was unable to do so (via an exception or some similar mechanism).
>
>For most purposes, I believe this is *better* than a compromise that
>says,
>
> For any arithmetic operation on integers, you will get the
> mathematically correct result if it fits in the representation;
> otherwise, you will get a mathematically incorrect (but perhaps
> well-defined) result, with no straightforward way to detect that
> it's mathematically incorrect.
>
>Some people have argued that wraparound semantics, if
>they're well-defined, are as "correct" as anything else. Sorry, but I
>don't buy it.
>
Keith,
The above is an excellent summary of this thread.
I do not buy it either. no matter how many thousands of programmers go to
JavaOne each year :)
I think the bottom line of all of this, is that, it is OK if java
will add 2 positives number and give back a negative number as a
result, AS LONG AS the programmer has a way to be TOLD when this
does happen, or a way to tell the compiler/run-time: please tell
me when I make such a poopoo, or please do not tell me when I make
a poopoo as I know what I am doing.
Ada gives the programmer this choice. Java/C/C++ do NOT.
For this, as someone else already said, Java is no better than
C or C++ when those allow one to travel passed the array boundary
WITHOUT TELLING the programmer that they just did that.
In my eyes, there is absolutely no difference between the two situation,
travelling passed array boundary == adding 2 positive numbers and giving a
negative number.
Why is it that java throws a run-time exception when one attempts to
write passed array boundary, but closes it eyes when an overflow occurs?
Based on this, I do not consider Java a safe language to use in applications
requiring very safe and predictable behaviour.
Bill
next prev parent reply other threads:[~1999-06-16 0:00 UTC|newest]
Thread overview: 120+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-06-12 0:00 Ada and Java. different behaviour. casting long to int problem nabbasi
1999-06-12 0:00 ` Tucker Taft
1999-06-12 0:00 ` Keith Thompson
1999-06-12 0:00 ` kirck
1999-06-13 0:00 ` Robert Dewar
1999-06-12 0:00 ` Fred
1999-06-14 0:00 ` Mark Hood
1999-06-15 0:00 ` mike
1999-06-15 0:00 ` Marin David Condic
1999-06-15 0:00 ` Mike Silva
1999-06-15 0:00 ` rich
1999-06-15 0:00 ` tmoran
1999-06-15 0:00 ` David Botton
1999-06-16 0:00 ` Samuel Mize
1999-06-16 0:00 ` Richard D Riehle
1999-06-15 0:00 ` Marin David Condic
1999-06-15 0:00 ` D'Arcy Smith
1999-06-15 0:00 ` Keith Thompson
1999-06-16 0:00 ` bill [this message]
1999-06-16 0:00 ` George W. Bayles
1999-06-16 0:00 ` Fraser Wilson
1999-06-17 0:00 ` Chris Dollin
1999-06-17 0:00 ` Aidan Skinner
1999-06-17 0:00 ` David Botton
1999-06-18 0:00 ` Dale Stanbrough
1999-06-18 0:00 ` David Botton
1999-06-18 0:00 ` Pascal Obry
1999-06-18 0:00 ` Matthew Heaney
1999-07-20 0:00 ` Geoff Bull
1999-06-16 0:00 ` D'Arcy Smith
1999-06-16 0:00 ` George W. Bayles
1999-06-16 0:00 ` Tucker Taft
1999-06-17 0:00 ` George W. Bayles
1999-06-17 0:00 ` Tucker Taft
1999-06-17 0:00 ` bob
1999-06-16 0:00 ` D'Arcy Smith
1999-06-16 0:00 ` D'Arcy Smith
1999-06-17 0:00 ` Larry Kilgallen
1999-06-16 0:00 ` Mike Silva
1999-06-16 0:00 ` D'Arcy Smith
1999-06-16 0:00 ` kirk
1999-06-16 0:00 ` D'Arcy Smith
1999-06-17 0:00 ` Markus Kuhn
1999-06-17 0:00 ` D'Arcy Smith
1999-06-17 0:00 ` john
1999-06-17 0:00 ` Ed Falis
1999-06-18 0:00 ` Aidan Skinner
1999-06-16 0:00 ` Hyman Rosen
1999-06-17 0:00 ` Robert I. Eachus
1999-06-17 0:00 ` Hyman Rosen
1999-06-17 0:00 ` Marin David Condic
1999-06-17 0:00 ` bob
1999-06-18 0:00 ` Hyman Rosen
1999-06-18 0:00 ` mike
1999-06-18 0:00 ` Hyman Rosen
1999-06-19 0:00 ` Samuel Mize
1999-06-21 0:00 ` Marin David Condic
1999-06-19 0:00 ` Dale Stanbrough
1999-06-21 0:00 ` Marin David Condic
1999-06-21 0:00 ` Mike Silva
1999-06-17 0:00 ` Jean-Pierre Rosen
1999-06-17 0:00 ` Marin David Condic
1999-06-17 0:00 ` Samuel Mize
1999-06-17 0:00 ` Marin David Condic
1999-06-22 0:00 ` Hyman Rosen
1999-06-22 0:00 ` Keith Thompson
1999-06-23 0:00 ` Marin David Condic
1999-06-24 0:00 ` Robert A Duff
1999-06-24 0:00 ` Marin David Condic
1999-06-23 0:00 ` Marin David Condic
1999-06-18 0:00 ` Aidan Skinner
1999-06-17 0:00 ` Markus Kuhn
1999-06-20 0:00 ` Sera Hirasuna
1999-06-19 0:00 ` Kio
1999-06-20 0:00 ` Vladimir Olensky
1999-06-21 0:00 ` Hyman Rosen
1999-06-21 0:00 ` Samuel T. Harris
1999-06-22 0:00 ` Richard D Riehle
1999-06-22 0:00 ` Robert I. Eachus
1999-06-23 0:00 ` Aidan Skinner
1999-06-23 0:00 ` Richard D Riehle
1999-06-17 0:00 ` Jean-Pierre Rosen
1999-06-16 0:00 ` Marin David Condic
1999-06-22 0:00 ` Robert Dewar
1999-06-23 0:00 ` Marin David Condic
1999-06-23 0:00 ` Vladimir Olensky
1999-06-23 0:00 ` Marin David Condic
1999-06-23 0:00 ` Roedy Green
1999-06-23 0:00 ` Marin David Condic
1999-06-23 0:00 ` Keith Thompson
1999-06-24 0:00 ` Mike Silva
1999-06-24 0:00 ` Marin David Condic
1999-06-15 0:00 ` Samuel Mize
1999-06-16 0:00 ` Mark Hood
1999-06-17 0:00 ` Jean-Pierre Rosen
1999-06-17 0:00 ` Robert I. Eachus
1999-06-17 0:00 ` Marin David Condic
1999-06-15 0:00 ` D'Arcy Smith
1999-06-16 0:00 ` George W. Bayles
1999-06-16 0:00 ` D'Arcy Smith
1999-06-17 0:00 ` Matthew Heaney
1999-06-17 0:00 ` Aidan Skinner
1999-06-15 0:00 ` Samuel Mize
1999-06-15 0:00 ` jerry
1999-06-16 0:00 ` Richard D Riehle
1999-06-16 0:00 ` jerry
1999-06-17 0:00 ` Markus Kuhn
1999-06-17 0:00 ` David Botton
1999-06-12 0:00 ` PPAATT
1999-06-13 0:00 ` Robert Dewar
1999-06-14 0:00 ` tmoran
1999-06-30 0:00 ` John Merryweather Cooper
1999-07-01 0:00 ` Chad R. Meiners
1999-07-02 0:00 ` Robert Dewar
1999-07-02 0:00 ` John Merryweather Cooper
1999-07-03 0:00 ` Robert Dewar
1999-06-12 0:00 ` nabbasi
1999-06-12 0:00 ` jerry
1999-06-12 0:00 ` Robert Dewar
1999-06-14 0:00 ` Marin David Condic
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox