Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!weretis.net!feeder1.news.weretis.net!feeder.erje.net!newsfeed.straub-nv.de!texta.sil.at!newscore.univie.ac.at!aconews-feed.univie.ac.at!aconews.univie.ac.at!not-for-mail
Newsgroups: comp.lang.java.programmer
From: Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at>
Subject: Re: Arithmetic overflow checking
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> <1f3f067f-1753-4f6b-876d-19f92059d9b8@e20g2000prf.googlegroups.com>
Reply-To: avl@logic.at
User-Agent: slrn/pre0.9.9-111 (Linux)
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Message-ID: <slrnj2k168.6gl.avl@gamma.logic.tuwien.ac.at>
Date: 22 Jul 2011 23:16:24 GMT
Lines: 16
NNTP-Posting-Host: gamma.logic.tuwien.ac.at
X-Trace: 1311376584 tunews.univie.ac.at 73248 128.130.175.3
X-Complaints-To: abuse@tuwien.ac.at
Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:6435

lewbloch <lewbloch@gmail.com> wrote:
> On Jul 22, 10:33 am, Andreas Leitgeb <a...@gamma.logic.tuwien.ac.at>
> wrote:
>> Patricia Shanahan <p...@acm.org> wrote:
>> [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?

So here are arguments (admittedly not mine) that include ("... not just...")
but also go beyond the complaint about the number of keystrokes. I was just
wondering, if you had any expert-opinion about them, that you'd care to share.