[Haskell-cafe] Chuch encoding of data structures in Haskell

[Jason Dagit]

2010/5/27 Günther Schmidt <gue.schmidt at web.de>

> Hello C,
>
> thank you for explaining.
>
> The funny thing is that I have never seen anybody take this even a single
> step further than you have in your email.
>
> In particular I have not found anything where someone might use church
> encoding to solve a quite practical problem, namely for implementing
> extensible records.
>

I think this article uses Church encoded lists, I could be wrong:
http://okmij.org/ftp/Algorithms.html#zip-folds

Jason
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100527/e324f644/attachment.html