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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-01-06 07:05:01 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.media.kyoto-u.ac.jp!newsfeed.icl.net!newsfeed.fjserv.net!oleane.net!oleane!nnrp.oleane.net!skymaster!nobody From: "Jean-Pierre Rosen" Newsgroups: comp.lang.ada Subject: Re: Certified C compilers for safety-critical embedded systems Date: Tue, 6 Jan 2004 15:14:44 +0100 Organization: Adalog Message-ID: References: <3fe00b82.90228601@News.CIS.DFN.DE><5802069.JsgInS3tXa@linux1.krischik.com><1072464162.325936@master.nyc.kbcfp.com><1563361.SfB03k3vvC@linux1.krischik.com><11LvOkBBXw7$EAJw@phaedsys.demon.co.uk><3ff0687f.528387944@News.CIS.DFN.DE><1086072.fFeiH4ICbz@linux1.krischik.com><3ff18d4d.603356952@News.CIS.DFN.DE><1731094.1f7Irsyk1h@linux1.krischik.com><3ff1b8ef.614528516@News.CIS.DFN.DE> <3FF1E06D.A351CCB4@yahoo.com><3ff20cc8.635997032@News.CIS.DFN.DE><3ff9df16.30249104@News.CIS.DFN.DE> NNTP-Posting-Host: mailhost.axlog.fr X-Trace: s1.read.news.oleane.net 1073401311 11065 195.25.228.57 (6 Jan 2004 15:01:51 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Tue, 6 Jan 2004 15:01:51 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1158 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 Xref: archiver1.google.com comp.lang.ada:4145 Date: 2004-01-06T15:14:44+01:00 List-Id: > "Stephen Leake" wrote in message > news:mailman.212.1073342204.31149.comp.lang.ada@ada-france.org... > Apparently there were some people on the design team for Ada 83 who > thought "function" meant "no side effects", and want to "enforce" > that. Of course, functions can have side effects; now they just have > to lie about it! I've seen this argument quite often (especially by RBKD), but it is totally bogus. Nobody claimed that functions should not have side effects, but only that functions compute a result given some parameters and the global state of the program. It was felt that it was OK for a function to modify the global state, but modifying the parameters would be surprising and error-prone. BTW, Ada79 had functions that were required to not have side effects, and value returning procedures that did not have this constraint. This was felt to be too extreme (or maybe difficult to enforce) and the current solution to be an acceptable trade-off. -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr