[Haskell-cafe] Type trickery

Andrew Coppin 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 mailing list