Path: csiph.com!x330-a1.tempe.blueboxinc.net!newsfeed.hal-mli.net!feeder1.hal-mli.net!border3.nntp.dca.giganews.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail
NNTP-Posting-Date: Fri, 22 Jul 2011 18:50:34 -0500
Date: Fri, 22 Jul 2011 16:50:31 -0700
From: Patricia Shanahan <pats@acm.org>
User-Agent: Mozilla/5.0 (Windows NT 5.2; WOW64; rv:5.0) Gecko/20110624 Thunderbird/5.0
MIME-Version: 1.0
Newsgroups: comp.lang.java.programmer
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> <slrnj2k168.6gl.avl@gamma.logic.tuwien.ac.at>
In-Reply-To: <slrnj2k168.6gl.avl@gamma.logic.tuwien.ac.at>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <qfadnTTv37FXkbfTnZ2dnUVZ_qWdnZ2d@earthlink.com>
Lines: 23
X-Usenet-Provider: http://www.giganews.com
NNTP-Posting-Host: 70.230.200.239
X-Trace: sv3-RDLLuB8/0vUYyKLpDNdQYMxu6DhnaIolu5zYuzQ34BkuZGiCamg8Tl5EsSrE+wC+8fMz9zPLCEaSwLq!5cVQoiCTVeH5NLlVtrRQA/gsqRpPLj8F5Tq9BDoip+dB1TPOUoKoS3VmI2LU0gIO/TMJ9cP9P/3P!l27McqLN8/9r1Q1VwzACYpUQcFsafS1ThDhT2C9v3vA0t1I=
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 2795
Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:6438

On 7/22/2011 4:16 PM, Andreas Leitgeb wrote:
> 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.
>

Some of the context has been dropped in editing. My remarks were
specific to the complex, in every sense of the word, expressions I've
seen in scientific and engineering programs.

Patricia