RE: Haskell for non-Haskell's sake

2003-09-01 Thread Simon Peyton-Jones
| Since the opening of this thread by Hal Daume 11 (binary), we see a constant | flow of interesting contributions/confessions. Plenty of applications, it | seems that Haskell is really used in a wider context than we might think. | It is a pleasure to read all this. Yes, it is indeed! As Jerzy r

Re: proving the monad laws

2003-09-01 Thread Iavor Diatchki
hi, just a comment that the you can get more modular (and hence simpler) proofs by using monad transformers. than you can break down your proof in a number of steps: 1. prove that the identity monad is a monad 2. prove that the exception transformer: ErrorT x m a = m (Either x a) gives a monad,if

Re: Haskell for non-Haskell's sake

2003-09-01 Thread C.Reinke
[this seemed to be flowing along nicely, but now that the thread has moved from information to organisation and meta-discussion, I'd like to add a few comments, and an invitation] > > On Saturday 30 August 2003 01:39, Hal Daume III wrote: > > > I'm attempting to get a sense of the topology of

Re: Haskell for non-Haskell's sake

2003-09-01 Thread D. Tweed
On Mon, 1 Sep 2003, Joost Visser wrote: > Hi Hal and others, > > We would like to hear your thoughts on the viability of a conference or > workshop dedicated to applications of Haskell for non-Haskell purposes. > > On Saturday 30 August 2003 01:39, Hal Daume III wrote: > > I'm attempting to get

Re: Haskell for non-Haskell's sake

2003-09-01 Thread Graham Klyne
At 16:15 01/09/03 +0200, Jerzy Karczmarczuk wrote: Since the opening of this thread by Hal Daume 11 (binary), we see a constant flow of interesting contributions/confessions. Plenty of applications, it seems that Haskell is really used in a wider context than we might think. It is a pleasure to rea

Re: Haskell for non-Haskell's sake

2003-09-01 Thread Paul Hudak
Well, there's PADL (Practical Aspects of Declarative Languages), see http://www.research.avayalabs.com/user/wadler/padl03/. -Paul Tim Docker wrote: Jerzy Karczmarczuk wrote: > Presumably this reviewer has his particular visions what a science is, > but I don't believe that such people dominate i

Re: Haskell for non-Haskell's sake

2003-09-01 Thread Joost Visser
Hi Hal and others, We would like to hear your thoughts on the viability of a conference or workshop dedicated to applications of Haskell for non-Haskell purposes. On Saturday 30 August 2003 01:39, Hal Daume III wrote: > I'm attempting to get a sense of the topology of the Haskell > community. B

RE: Haskell for non-Haskell's sake

2003-09-01 Thread Tim Docker
Jerzy Karczmarczuk wrote: > Presumably this reviewer has his particular visions what a science is, > but I don't believe that such people dominate in the milieu of FPL. > I believe that it would be interesting to organize some workshops > on "practical" applications of functional programmi

Re: Haskell for non-Haskell's sake

2003-09-01 Thread Jerzy Karczmarczuk
Since the opening of this thread by Hal Daume 11 (binary), we see a constant flow of interesting contributions/confessions. Plenty of applications, it seems that Haskell is really used in a wider context than we might think. It is a pleasure to read all this. I have just one question thus. Why the

RE: Haskell for non-Haskell's sake

2003-09-01 Thread Elke Kasimir
On 30-Aug-2003 Hal Daume III wrote: > Hi fellow Haskellers, > > I'm attempting to get a sense of the topology of the Haskell > community. Based on the Haskell Communities & Activities reports, it > seems that the large majority of people use Haskell for Haskell's sake. I have been working on a s

Re: Haskell for non-Haskell's sake

2003-09-01 Thread Joost Visser
Hi Hal, On Saturday 30 August 2003 01:39, Hal Daume III wrote: > If you use Haskell for a purpose *other than* one of those listed below, > I'd love to hear. I don't need a long report, anything from a simple "I > do" to a paragraph would be fine, and if you want to remain anonymous > that's fine