[Haskell-cafe] Fwd: Linear regions ("Linear Regions Are All You Need") as the only way of encapsulation of impure state
timotej.tomandl at gmail.com
Sat Aug 30 18:28:34 UTC 2014
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...
More information about the Haskell-Cafe