Tomasz Zielonka wrote: > On Thu, Dec 09, 2004 at 05:55:09PM +0000, Conor McBride wrote: > >>Funny you should choose that word: >> >> http://www.mail-archive.com/haskell@haskell.org/msg15073.html >> >>saves me banging the same old drum. > > > Is ap alias <# alias <%> for [] really the same as zwApply? Probably > I am missing something.
Yes and no. Depends which list monad you're using. zwApply is the <%> of one of the list idioms: it corresponds to the 'vectorizing' list monad whose return is repeat and whose join computes the diagonal of a matrix. But you're right: library ap for the 'list of successes' monad and zwApply do not coincide. I tend to use different list functors, depending on what they're for, so that all the plumbing is correctly cued from the types.
Cheers
Conor
-- http://www.cs.nott.ac.uk/~ctm _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
