2 Nov
2010
2 Nov
'10
2:21 p.m.
On 01/11/2010 10:40 PM, Jeremy Shaw wrote:
Looks a lot like Church encoding to me:
http://en.wikipedia.org/wiki/Church_encoding
It was first discovered by the guy who invented lambda calculus :p
Yes, well, the various Church encodings and the lambda calculus in general are where I got the idea. I was just wondering if there's a specific term for using this in concrete programs rather than as a theoretical exercise, that's all.