Re: [Haskell] mailing list headaches

2005-09-07 Thread Gour
Tomasz Zielonka ([EMAIL PROTECTED]) wrote: > Nice, thanks! BTW, could you also share the configuration you use to > split e-mails into folders? Do you use procmail for this? I use maildrop, here is part of my .mailfilter: if ( /^X-BeenThere: [EMAIL PROTECTED]/ || /^X-BeenThere: [EMAIL PROTECTED]

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-07 Thread Frederik Eaton
> Frederik, > To do "automatic lifting" you need to do a (higher-order) effect analysis, > then make sure the > compiler doesn't rearrange applications which have conflicting effects. Hrm, I disagree. I don't think this is what I was advocating in my message. What I'm advocating is a reasonably

Re: [Haskell] mailing list headaches

2005-09-07 Thread Tomasz Zielonka
On Wed, Sep 07, 2005 at 12:46:42PM -0700, Frederik Eaton wrote: > Hi all, Hi! > After some weeks of squinting, I've ended up settling with the > following partial solution in my configuration files (I use Mutt): > > set strict_threads=yes > folder-hook folders/haskell set strict_threads=no > fol

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-07 Thread Ben Lippmeier
Frederik Eaton wrote: I want the type system to be able to do "automatic lifting" of monads, i.e., since [] is a monad, I should be able to write the following: [1,2]+[3,4] and have it interpreted as "do {a<-[1,2]; b<-[3,4]; return (a+b)}". print ("a: " ++ readLn ++ "\nb: " ++ readLn) two

Re: [Haskell] Mixing monadic and non-monadic functions

2005-09-07 Thread Frederik Eaton
Hi, Sean's comment (yeah, it was like a billion years ago, just catching up) is something that I've often thought myself. I want the type system to be able to do "automatic lifting" of monads, i.e., since [] is a monad, I should be able to write the following: [1,2]+[3,4] and have it interpret

[Haskell] mailing list headaches

2005-09-07 Thread Frederik Eaton
Hi all, I've been trying for some time to get threading to work properly on this mailing list. The problem is that I don't want to thread by subject in all of my folders, because then messages with short subjects like "hi", "hey", etc., in my personal folders will end up together. However, threadi