> Though I agree it's probably best not to mention the phrase "Church encoding" to beginning students.
Be reassured, that was not my intention ^^. I just pointed that out to support the fact that foldr was *the* fundamental folding operator for lists. 2012/5/24 Brent Yorgey <byor...@seas.upenn.edu> > On Wed, May 23, 2012 at 09:24:06AM +0200, Ertugrul Söylemez wrote: > > Yves Parès <yves.pa...@gmail.com> wrote: > > > > > > 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. > > > > Not only that. The foldr combinator has an identity fold and implements > > actual structural recursion. > > That's pretty much what a Church encoding is. Though I agree it's > probably best not to mention the phrase "Church encoding" to beginning > students. > > -Brent > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe