Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!weretis.net!feeder4.news.weretis.net!newsfeed.utanet.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 Subject: Re: Arithmetic overflow checking References: <015aeb15-57db-48ab-9cd4-77f8448b632f@w24g2000yqw.googlegroups.com> <2rydnez7l-H5BYnTnZ2dnUVZ_vGdnZ2d@earthlink.com> <4e278a67$0$309$14726298@news.sunsite.dk> <1SSVp.69032$_I7.18660@newsfe08.iad> <4e2892f1$0$309$14726298@news.sunsite.dk> <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=us-ascii Content-Transfer-Encoding: 7bit Message-ID: Date: 23 Jul 2011 20:09:41 GMT Lines: 26 NNTP-Posting-Host: gamma.logic.tuwien.ac.at X-Trace: 1311451781 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:6477 Patricia Shanahan wrote: > On 7/22/2011 4:16 PM, Andreas Leitgeb wrote: >> lewbloch wrote: >>> On Jul 22, 10:33 am, Andreas Leitgeb >>> wrote: >>>> Patricia Shanahan 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. You meant only complex expressions on complex numbers? (Is that every sense of "complex", or did I even miss some more?) If so, then sorry, I obviously understood your remarks as more general than they were. It's not my intention to misquote contexts and all that. I apologize if it happened.