[Haskell-cafe] Formalisation for types of monads
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...
More information about the Haskell-Cafe