31 May
2007
31 May
'07
7:59 a.m.
Am Mittwoch, 30. Mai 2007 14:09 schrieb Brandon S. Allbery KF8NH:
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.
ST uses universally-quantified types. Also note that an important difference between State and ST is that State can be implemented in pure Haskell while ST has to be hard-wired into the compiler/interpreter or implemented in Haskell using unsafe features. Best wishes, Wolfgang