Re: Type Parametric Function Representations

1992-09-15 Thread kh
Resent due to local problems at Glasgow. Kevin Date: Tue, 15 Sep 1992 11:08:35 -0400 From: [EMAIL PROTECTED] (Martin Odersky) To: [EMAIL PROTECTED] David Barton asks: >>(ft :: Function b c, gt :: Function a b) => ft -> gt -> a -> c. >>[Aside: This is another example where multiple arg

Haskell I/O

1992-09-15 Thread Shah Namrata Abhaykumar
I am trying to understand I/O in haskell. I have trouble understanding how it is referentially transperant ? Consider a list of four elements [exp1,exp2,exp3,exp4] where exp's are arbitary expressions (of type other than Request). Here one can evaluate expression exp3 without evaluating exp1 and

Haskell I/O

1992-09-15 Thread Denis Howe
Shah Namrata Abhaykumar <[EMAIL PROTECTED]> is trying to understand I/O in haskell: >Consider a request list, [req1,req2,req3,req4]. This means before >evaluating req3, I should have evaluated req1 and req2. ... >The sequencing is due to the fact that req3 may depend on req1 and >req2. Your req

Re: Haskell I/O

1992-09-15 Thread jhf
|From: "Shah Namrata Abhaykumar" <[EMAIL PROTECTED]> |Subject: Haskell I/O | |I am trying to understand I/O in haskell. I have trouble understanding |how it is referentially transperant ? |Consider that main is, | |main resps = [req1,req2,req3,req4] | where req1 =