
28 Apr
2014
28 Apr
'14
5:02 p.m.
+1. I've defined this practically every time I've used the strict state monad. -- Darius Jahandarie (Mobile)
On Apr 28, 2014, at 3:36 PM, Niklas Hambüchen
wrote: Code like
flip execState 0 (forever $ modify (+1))
leaks memory as hell, and gets fixed by using
x <- get put $! x + 1
I propose the addition of modify' to Control.Monad.State.Strict.
This seems useful for the strict state monad and is consistent with similar functions in base (such as modifyIORef').
Discussion period: 2 weeks. _______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries