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.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,5265ce03ee8f5252 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-04 09:20:24 PST Path: supernews.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!cpk-news-hub1.bbnplanet.com!news.gtei.net!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Robert Dewar Newsgroups: comp.lang.ada Subject: Re: Ok sorry, it is just a book gives no feedback. Date: Thu, 04 Jan 2001 17:11:14 GMT Organization: Deja.com Message-ID: <932ar8$inn$1@nnrp1.deja.com> References: <931r2l$4ai5t$2@ID-25716.news.dfncis.de> <931t08$5u5$1@nnrp1.deja.com> <932632$e0e$1@nnrp1.deja.com> NNTP-Posting-Host: 205.232.38.14 X-Article-Creation-Date: Thu Jan 04 17:11:14 2001 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U) X-Http-Proxy: 1.0 x61.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 X-MyDeja-Info: XMYDJUIDrobert_dewar Xref: supernews.google.com comp.lang.ada:3659 Date: 2001-01-04T17:11:14+00:00 List-Id: Just to be clear on my position here. When someone says "feature X should not be used" (in this case X = functions with side effects), the burden is to prove the *universal* quantifier over all, or at least most all, uses. It is NOT an argument to show one case in which X should not be used. On the other hand, the burden of proof in the other direction is much easier, because there it IS sufficient to show specific examples. (I already gave some, memo functions, instrumented functions, functions that do allocations ... there are many other examples). Sent via Deja.com http://www.deja.com/