[Haskell] ST vs State

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Wed May 30 08:09:04 EDT 2007


On May 30, 2007, at 5:59 , Federico Squartini wrote:

> I suppose there is something "under the hood" which makes them
> different, but I cannot figure out what.

For one thing, ST uses existential types to prevent values from  
leaking outside the monad.

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH




More information about the Haskell mailing list