> The idea is to annotate the type of any functional result with the
> fact that it has escaping side-effects.  Then to not let any
> so-annotated value be used directly in an expression.  Let's look at
> David's problem:

I had just thought of a similar solution myself, but I wouldn't be so strict
as to disallow any use in an expression. Rather, as long as only one such
function call exists in any one expression it would be okay. That would
allow things like

let ans = prev_ans + process_tail() in ....

It does sound like an easy solution, so knowing myself as I do, I am
wondering what I don't understand about the details... If it were so easy,
then why hasn't it been done yet?

- DM

-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr