Proposal: Add modify' to Control.Monad.State.Strict

Darius Jahandarie djahandarie at gmail.com
Mon Apr 28 21:02:02 UTC 2014


+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 <mail at nh2.me> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/libraries


More information about the Libraries mailing list