Re: Referential transparency of I/O

1998-03-17 Thread Kevin Hammond
At 3:37 pm 16/3/98, Patrick Logan wrote: A discussion about referential transparency and I/O in Haskell popped up in Comp.lang.scheme. The example was something like: do x - getLine y - getLine ...with... getLine :: IO String And so my question is what is the value of getLine? I had

Referential transparency of I/O

1998-03-16 Thread Patrick Logan
A discussion about referential transparency and I/O in Haskell popped up in Comp.lang.scheme. The example was something like: do x - getLine y - getLine ...with... getLine :: IO String And so my question is what is the value of getLine? I had thought of it as sort of a "placeh