31 Jul
2005
31 Jul
'05
8:47 p.m.
Wolfgang Jeltsch <wolfgang@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 undefined return 0 main = print (runST example)