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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
