[bitc-dev] deeply immutable functions and Haskell's ST

[Richard Uhtenwoldt]

Shap writes:
>Some time ago, Mark Miller introduced a notion of "deeply immutable"
>functions. A deeply immutable function is not permitted to close over
>any mutable state. This means that it can only mutate arguments and
>locals, and that it cannot *read* any mutable state from its
>environment. The first restriction is outward confinement. The second
>restriction is inward confinement.

OK, I've worked out the method I mentioned before for enforcing
deep immutability using Haskell's type system.  (I turned out
that an existential type was not necessary.)

I want posting it to wait till MarkM returns to this mailing 
list, though  :) :)   Do you have a return date for him? 

-- 
Text by me above is hereby placed in the public domain