Re: [Haskell-cafe] ST not strict enough?

On Wednesday 16 November 2011, 22:45:16, Johan Tibell wrote:

On Wed, Nov 16, 2011 at 12:33 PM, Antoine Latter 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.