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 _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
