Re: Ok sorry, it is just a book gives no feedback.

[Robert Dewar <robert_dewar@my-deja.com>]

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/