Re: Typesafe MRef with a regular monad

In article <v4j7k7qsp5c.fsf@newtonlabs.com>, cwitty@newtonlabs.com (Carl R. Witty) wrote:

Here's a hand-waving argument that you need either Typeable (or something else that has a run-time concrete representation of types) or ST/STRef (or something else, probably monadic, that can track unique objects) to do this.

George Russell already showed this, didn't he? You can implement Typeable given type-safe MRefs, and you can implement type-safe MRefs given Typeable. -- Ashley Yakeley, Seattle WA