From ... From: Erik Naggum Subject: Re: Theory #51 (superior(?) programming languages) Date: 1997/01/23 Message-ID: <3063010349565028@naggum.no>#1/1 X-Deja-AN: 211677602 references: <3059948144828413@naggum.no> <3062850267355805@naggum.no> <1997Jan2123.11.15.1935@koobera.math.uic.edu> <3062969201915975@naggum.no> <5c6iuh$1ur@news.jf.intel.com> mail-copies-to: never organization: Naggum Software; +47 2295 0313; http://www.naggum.no newsgroups: comp.arch,comp.lang.lisp,comp.lang.scheme * Mike Haertel | Here you are arguing over the definition of the problem. sigh. D. J. Bernstein introduced his wrong answer with "I proved". but he didn't. so I pointed out what a proof would have entailed. pay attention! | Your definition seems to be that the compiler must generate the overflow | checks for you, and provide an exception handling mechanism as well. | This is all very well and good, but it's not C. _precisely_! | Bernstein may have been acerbic, but note carefully he did | not call *you* stupid, just your choice of overflow | detection as an example of C's supposed deficiencies. if he had done that, it would at least have been to the point. but he didn't. he argued in terms of "machine operations", which was never the point. pay attention! #\Erik -- 1,3,7-trimethylxanthine -- a basic ingredient in quality software.