Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!news.dougwise.org!nntpfeed.proxad.net!proxad.net!feeder1-2.proxad.net!74.125.46.80.MISMATCH!postnews.google.com!e20g2000prf.googlegroups.com!not-for-mail
From: lewbloch <lewbloch@gmail.com>
Newsgroups: comp.lang.java.programmer
Subject: Re: Arithmetic overflow checking
Date: Fri, 22 Jul 2011 13:36:52 -0700 (PDT)
Organization: http://groups.google.com
Lines: 23
Message-ID: <1f3f067f-1753-4f6b-876d-19f92059d9b8@e20g2000prf.googlegroups.com>
References: <015aeb15-57db-48ab-9cd4-77f8448b632f@w24g2000yqw.googlegroups.com> <2rydnez7l-H5BYnTnZ2dnUVZ_vGdnZ2d@earthlink.com> <ivoiap$gru$1@dont-email.me> <drmdnTkz1raR1b3TnZ2dnUVZ_q-dnZ2d@earthlink.com> <ivr43p$7cq$1@dont-email.me> <4e278a67$0$309$14726298@news.sunsite.dk> <1SSVp.69032$_I7.18660@newsfe08.iad> <j08v14$brk$1@speranza.aioe.org> <slrnj2g735.6gl.avl@gamma.logic.tuwien.ac.at> <4e2892f1$0$309$14726298@news.sunsite.dk> <heOdnWF5kt-7MrXTnZ2dnUVZ_u2dnZ2d@earthlink.com> <slrnj2jd39.6gl.avl@gamma.logic.tuwien.ac.at>
NNTP-Posting-Host: 127.6.6.6
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1311367012 29111 127.0.0.1 (22 Jul 2011 20:36:52 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 22 Jul 2011 20:36:52 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: e20g2000prf.googlegroups.com; posting-host=127.6.6.6; posting-account=CP-lKQoAAAAGtB5diOuGlDQk0jIwmH0T
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: ASELCHRU
X-HTTP-UserAgent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/535.1 (KHTML, like Gecko) Chrome/13.0.782.99 Safari/535.1,gzip(gfe)
Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:6415

On Jul 22, 10:33=A0am, Andreas Leitgeb <a...@gamma.logic.tuwien.ac.at>
wrote:
> Patricia Shanahan <p...@acm.org> wrote:
> > After all, it is no worse than "ADD 1 TO AGREECOUNT GIVING AGREECOUNT."=
.
>
> All Rejoice! There's still a language (like COBOL) that makes simple
> expressions more verbose. =A0That really should keep us all happy about
> Java. =A0(NOT!)
>
> [about lack of operator overloading for non-primitive arithmetic types]
>
> > The problem is not just the keystrokes for typing the expressions.
> > It is very important to be able to check that a lengthy expression
> > in a program is a correct translation of the corresponding expression,
> > in mathematical notation, in a textbook or paper.
>
> Lew?

Yes?

--
Lew