[Haskell-cafe] Formalisation for types of monads

Yves Parès yves.pares at gmail.com
Wed May 23 09:14:05 CEST 2012

>     Note about []:  Don't even mention foldl.  The folding combinator
>     for lists is foldr, period.

Yes, I do agree. I came to this when I realized foldr gave the church
encoding of a list.

(Well, actually, due to parameters ordering:
    *churchList list* z0 f = foldr f z0 list
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20120523/2a02a07f/attachment.htm>

More information about the Haskell-Cafe mailing list