[Haskell-cafe] Mysterious fact

Andrew Coppin andrewcoppin at btinternet.com
Tue Nov 2 14:21:15 EDT 2010

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.

More information about the Haskell-Cafe mailing list