Re: OO in Haskell

[Johan Nordlander]

Adrian Hey writes:

> Hmm, I obviously don't understand what 'referential transparency' means.
> I must say I'm puzzled by statements like this. If the presence of
> mutable variables (and MVars in Concurrent Haskell) preserve referential
> transparency, then why _don't_ we have referential transparency in C?


I'd say that an absolutely brilliant exposition of this topic is to be 
found in Phil Wadler's paper "How to declare an imperative", available 
on the web at

  http://www.cs.bell-labs.com/who/wadler/topics/monads.html

-- Johan