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] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university    KF8NH


_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to