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