People reading the update-notation thread might also be interested in
"Imperative functional programming"
Peyton Jones Wadler, POPL 93
which you can grab by ftp
fromftp.dcs.glasgow.ac.uk
in pub/glasgow-fp/papers/imperative.ps.Z
The paper mainly
George, I think you are implying that if an unshared list is passed to
this function then it can be mutated instead of copied. But
determining that it is unshared can be very difficult (of course it is
undecideable in general). Note in particular that you have to
determine if any of
Paul Hudak answers a question concerning mutations of unshared structures:
George, I think you are implying that if an unshared list is passed to
this function then it can be mutated instead of copied. But
determining that it is unshared can be very difficult (of course it is
undecideable in