Am Freitag, 6. Juni 2003 15:23 schrieb Simon Peyton-Jones: > Oh bother, I forgot to add that you can of course insert a new value > with an old key (suitably typed) and have it overwrite. Else, as you > say, there would not be much point. > > Maybe it'd be better to have a separate key-construction function > newKey :: k -> Key k a > instead of having insert return a key. > > S
Seriously, isn't this just an application of dynamics? The key type allows us to insert a cast when looking up a data structure of dynamic values? Cheers, Ralf _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell