27 May
2010
27 May
'10
11:37 p.m.
2010/5/27 Günther Schmidt
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