Ryan Ingram <ryani.s...@gmail.com> wrote in article <2f9b2d30902151615n1e8e25e8ubbee20d93c8ec...@mail.gmail.com> in gmane.comp.lang.haskell.cafe: > You can roll your own pure STT monad, at the cost of performance:
Do you (or anyone else) know how to prove this STT implementation type-safe? It seems to be safe but I'm not sure how to prove it. -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig A mathematician is a device for turning coffee into theorems. Paul Erdos (1913-1996) _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe