Mark Dominus on 2 Nov 2011 21:23:22 -0700


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: the natural numbers using lambda calculus


Here's a detailed explanation, with runnable code in Perl:

        http://perl.plover.com/lambda/

Instead of Church numerals, it uses a synthetic representation of
natural numbers based on linked lists: the number N is represented as
the list (false false ... true) with N "false" elements.  If you're
new to the lambda-calculus, this can be easier to understand than the
Church numerals, although it has certain technical disadvantages.