[Haskell-cafe] Type trickery
andrewcoppin at btinternet.com
Wed Mar 16 11:31:56 CET 2011
The well-known ST monad uses an ingenious hack to make it impossible for
distinct ST computations to interact with each other.
Is there a way to do something similar so that I can create "cursors"
that reference a (mutable) container, and then write a function that
takes two cursor arguments which are statically guaranteed to refer to
the same container?
More information about the Haskell-Cafe