[<<][meta][>>][..]
Sat Feb 13 21:19:32 CET 2010

Pointer equality in Haskell

Apparently this doesn't work in general because it breaks referential
transparency[3].

Anyway, this[1] suggests that unsafePtrEq can be used to build
memoization, where the lack of referential transparency is only
locally observable.

[1] http://www.haskell.org/ghc/docs/4.06/hslibs/sec-ioexts.html
[2] http://cvs.haskell.org/Hugs/pages/libraries/base/System-IO-Unsafe.html
[3] http://www.mail-archive.com/haskell@haskell.org/msg04239.html



[Reply][About]
[<<][meta][>>][..]