[Haskell-cafe] Fwd: Linear regions ("Linear Regions Are All You Need") as the only way of encapsulation of impure state

[Timotej Tomandl]

I was thinking for a while about if other kinds of handling of impure state
have any advantages over linear regions. So I thought it will be nice to
open the discussion  about how does it compare with monads, linear types,
uniqueness typing and monadic regions.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140830/2ff95ac6/attachment.html>