On 08/10/2015 08:43, Ramana Kumar wrote:
So what about option 2 then? Can Poly/ML expose some other primitives by which I can obtain identifiers for immutable values, such that equal values always have the same identifier? (The other direction (i.e., perfect sharing) would be nice, but is not necessary.)
There isn't an identifier, apart from the address, and that can change from moment to moment.
David _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml