storing highly shared data structures

[Christian Maeder]

Einar Karttunen wrote:
> On 22.12 14:43, Christian Maeder wrote:
>> How can I detect this sharing in order to avoid traversing the very
>> same symbol table for every symbol?
> 
> By using System.Mem.StableName
> SerTH (http://cs.helsinki.fi/u/ekarttun/SerTH/) implements this,
> so you can look at the source for pointers.

Thanks for your hints. What a pity that "makeStableName" goes to IO (why 
would this break referential transparency?) and that "StableName a" and 
"TypeRep" have no Ord instances.

Facing RealWorld (and HashTable),
Christian