30 May
2007
30 May
'07
9:59 a.m.
But they are very similar! At least superficially. They are both based on the notion of state transformer. Moreover in the original paper about the ST monad: http://www.dcs.gla.ac.uk/fp/papers/lazy-functional-state-threads.ps.Z The authors say: "In this paper we describe a way to express stateful algorithms in non-strict, purely functional languages". And almost everywhere in the paper looks as if they are talking about a normal State monad. I suppose there is something "under the hood" which makes them different, but I cannot figure out what. Federico
Very very different.
-- Don