[Haskell-cafe] ST not strict enough?

[Daniel Fischer]

On Wednesday 16 November 2011, 22:45:16, Johan Tibell wrote:
> On Wed, Nov 16, 2011 at 12:33 PM, Antoine Latter <aslatter at gmail.com> 
wrote:
> > We already have one in base - it re-exports Data.STRef in whole :-)
> > 
> > 
> > http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-STRef-
> > Strict.html
> 
> Then it's wrong. :( In what sense is it strict?

In the sense of Control.Monad.ST.Strict vs. Control.Monad.ST.Lazy

> I think it should be strict in the value stored in the ref.

Yes, we probably need that.