23 May
2012
23 May
'12
7:14 a.m.
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 does)