On Tue, 14 Jul 1998, Alastair Reid wrote:
> and it's not clear that
> fetching URLs outside the IO monad is sensible.  Not at all clear.

I am thinking about using Haskell for XML scripting in which one imports
XML DTD's into Haskell as a set of data statements and then reads XML
datastructures off of web pages out on the net.  This should be legal
outside the IO monad as long as the page being accessed does not expire
before the computation is complete.  I think failure of retrieval is an
issue of operational semantics rather than denotational semantics.  
I figure that the reliability of the network should be treated like
the reliability of the underlying computer (which can run out of memory).

-Alex-

___________________________________________________________________
S. Alexander Jacobson                   i2x Media  
1-212-697-0184 voice                    1-212-697-1427 fax



Reply via email to