[Haskell] strict vs. lazy state threads

Albert Lai trebla at vex.net
Sun Jul 31 16:47:32 EDT 2005

Wolfgang Jeltsch <wolfgang at jeltsch.net> writes:

> The problem is that I cannot find an exact specification about what strict and 
> lazy means in conjunction with state threads.

This example shows a difference:

import Control.Monad.ST.Strict          -- try Lazy instead of Strict

example :: (forall s . ST s Int)
example = do
  return 0

main = print (runST example)

More information about the Haskell mailing list