[bitc-dev] deeply immutable functions and Haskell's ST
ru at river.org
Mon Sep 5 09:39:54 EDT 2005
>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
More information about the bitc-dev