[Haskell-cafe] Proof that Haskell is RT
ryani.spam at gmail.com
Wed Nov 12 16:34:08 EST 2008
On Wed, Nov 12, 2008 at 12:35 PM, Lennart Augustsson
<lennart at augustsson.net> wrote:
> Actually, unsafeInterleaveIO is perfectly fine from a RT point of view.
> Since you are talking to the outside world any behaviour is acceptable.
> All the weird interactions between getContents and writing the same
> file from the same program could, in principle, happen if a different
> program wrote the file.
Yes, I was thinking about this on my way to work and thought that I
may have spoken too soon; I couldn't come up with a way for
unsafeInterleaveIO to break referential transparency (although I
couldn't prove to myself that it couldn't, either). Your argument
seems good to me, though.
More information about the Haskell-Cafe