6 Jun
2003
6 Jun
'03
1:28 p.m.
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