From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!news.ecp.fr!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Heartbleed Date: Sat, 12 Apr 2014 22:34:49 +0200 Organization: cbb software GmbH Message-ID: References: <1ljwj8f.1wqbhvuabsdw1N%csampson@inetworld.net> <51c7d6d4-e3be-44d5-a4ce-f7e875345588@googlegroups.com> <%J32v.70539$kp1.45343@fx14.iad> <87mwfq4vvj.fsf@kuiper.lan.informatimago.com> <87ioqe4brz.fsf@kuiper.lan.informatimago.com> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: AuYlnUSfTZrfhAkRjyySpQ.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset="big5" Content-Transfer-Encoding: 8bit X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news.eternal-september.org comp.lang.ada:19280 Date: 2014-04-12T22:34:49+02:00 List-Id: On Sat, 12 Apr 2014 20:56:32 +0200, Pascal J. Bourguignon wrote: > In a language like lisp or python, the arithmetic operations that can't > produce fixnums automatically produce bignums, and all the code will > automatically handle bignums once the magnitudes require them. And then you send a the bignum garbage to the 12-bit ADC actuator? Good luck with that. > In both cases, the customer could still consider that a bug exist (in > the case of Ariane 5 it was a specification "bug", so¡K), in that > operations could become slower than expected, but with dynamically > typed-value system, you would still get correct results. No, they are incorrect because violate the contract derived from the physical system being controlled. It is a common delusion that mathematically correct results are correct when dealing with a physical system. They are no longer the model according to which calculations are performed is adequate. Outside these constraints, the model is garbage and numerically correct results are garbage as well. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de