Re: [Haskell-cafe] Space questions about intern and sets

Marcin 'Qrczak' Kowalczyk wrote:

Gracjan Polak writes:

...

intern :: Ord a => a -> a intern x = unsafePerformIO $ internIO x

iorefset :: Ord a => IORef(Map.Map a a) iorefset = unsafePerformIO $ do newIORef $ Map.empty

It will not work because you can't put values of different types as keys of the same dictionary, as you can't compare them.

I could have as many dictionaries as there are types. The problem is I get one dictionary for each object which defeats the idea. Is there any other way to safe some memory when having many same objects? -- Gracjan