On Tue, Jan 03, 2006 at 12:03:06AM +0000, Adrian Hey wrote:
On Monday 02 Jan 2006 7:42 pm, Tomasz Zielonka wrote:
I hope you don't propose this for Map. It would break some nice uses, like representing variable scopes in an interpreter. The "replacing" insert allows you to easily implement hiding variables in outer scopes.
You mean am I proposing that Maps should retain old association values and discard the new ones? If so the answer is no, of course not.
Good. I was pretty sure that you are not proposing it, but I wanted to be sure.
But I see no reason why they shouldn't do this with keys, which are "equal" according to the instance of Ord. (If this is any way dangerous then the key type should not be an instance of Ord IMO.)
No objections here. Best regards Tomasz -- I am searching for a programmer who is good at least in some of [Haskell, ML, C++, Linux, FreeBSD, math] for work in Warsaw, Poland