Hi,
I've been wondering about Lazy IO for a while. Suppose we have a program
like
main = interact (unlines . somefunction . lines)
then somefunction is a pure function. With the semantic interpretation of:
given a input list
return an output list. However I, the user, can change my input
On Tue, Sep 1, 2009 at 3:05 AM, staafmeisterg.c.stave...@uu.nl wrote:
Hi,
I've been wondering about Lazy IO for a while. Suppose we have a program
like
main = interact (unlines . somefunction . lines)
then somefunction is a pure function. With the semantic interpretation of:
given a input
Dear Luke,
Thanks for your reply. I am interested in a more detailed explanation. If
it's
to long for this forum you can also mail it to me.
In response to your answer. In your program the user is also a pure
function. But I,
as a user, am not pure so I can do side effects. More specific
2009/09/01 Luke Palmer lrpal...@gmail.com:
I have now tried twice to explain why this is possible more
deeply in terms of domain theory, but it has bloated the
message to three times this size. If you would like me to
include my response, I'd be more than happy to, but it does
get rather
I'm sure I'm not alone when I say I'd like to see the longer,
more technical response.
No, you aren't. Please `flood in' :-)
--
~dsouza
yahoo!im: paravinicius
gpg key fingerprint: 71B8 CE21 3A6E F894 5B1B 9ECE F88E 067F E891 651E
___