
15 Feb
2008
15 Feb
'08
6:15 p.m.
On Thu, 14 Feb 2008, oleg@okmij.org wrote:
As I understand the original problem had less to do with the number of comparison but more to do with the cost of a single comparison. In an impure language, we can use constant-time physical equality. It is usually provided natively as pointer comparison, and can be trivially emulated via mutation.
In Haskell you can (with care) use System.Mem.StableName.
http://research.microsoft.com/~simonpj/Papers/weak.htm
Tony.
--
f.a.n.finch