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-05 06:00:20 PST
Path: 
 supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!news.iac.net!news-out.cwix.com!newsfeed.cwix.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: Robert Dewar <robert_dewar@my-deja.com>
Newsgroups: comp.lang.ada
Subject: Re: Ok sorry, it is just a book gives no feedback.
Date: Fri, 05 Jan 2001 13:45:17 GMT
Organization: Deja.com
Message-ID: <934j5c$eu9$1@nnrp1.deja.com>
References: <t4ug0qb63j7e4e@corp.supernews.co.uk>
 <931r2l$4ai5t$2@ID-25716.news.dfncis.de> <931t08$5u5$1@nnrp1.deja.com>
 <932632$e0e$1@nnrp1.deja.com> <932an8$ijs$1@nnrp1.deja.com>
 <93421h$2ju$1@nnrp1.deja.com>
NNTP-Posting-Host: 205.232.38.14
X-Article-Creation-Date: Fri Jan 05 13:45:17 2001 GMT
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; U)
X-Http-Proxy: 1.0 x52.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:3682
Date: 2001-01-05T13:45:17+00:00
List-Id: <comp.lang.ada>

In article <93421h$2ju$1@nnrp1.deja.com>,
  n_brunot@my-deja.com wrote:
> > Note that ANY allocation has a side effect, so these rules
> > about
> > functions would say that no functions can ever do
allocations.
> > That's an unreasonable restriction!
>
> And may be that's we never read anything asking for that !!
:-)


Oh but we did! The set of rules that was proposed here (not by
you, you did not give any definitions of what you mean by
side effects), precisely ruled out this case.

That's the point, it is easy to make vague statements about
"side effects considered harmful", but it is quite another to
rigorously define what you mean by side effects.

You do NOT want to tell people that instrumenting functions is
for some peculiar reason undesirable, or that memo functions
are undesirable (though of course in the multi-tasking case,
you have to worry about reentrancy in both these cases).


Sent via Deja.com
http://www.deja.com/