30 May
2007
30 May
'07
12:09 p.m.
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@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH