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
>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
Date: Tue, 27 Apr 1993 08:38:34 +0100
From: Simon L Peyton Jones
People reading the update-notation thread might also be interested in
"Imperative functional programming"
Peyton Jones & Wadler, POPL 93
The paper mainly deals with I/O and updatable arrays, but
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 deal