Talk:Real Fast Nora's Hair Salon 3: Shear Disaster Download

Numbers are what makes the lambda expression useful: when something is applied to a lambda expression, all the zeros (or one-more-than-zeros if in a more inner lambda, etc) are replaced by what it has been applied to. Don't you mean "when a lambda expression is applied to something"? Also, I think it might be a good thing to explain a little more about that "or one-more-than-zeros if in a more inner lambda, etc" thing. Maybe with an example? The problem is, lambda expressions make sense with variables, but there are no variables in Real Fast Nora's Hair Salon 3: Shear Disaster Download Whoa That Name Is So Long.

The way I understand it,  means   for the first LAMBDA to appear,   for a LAMBDA that's inside of a , etc. But I'm not sure.

What does if the program begins with two consecutive LAMBDAs, or equivalent, as this would require there to be more than one IO input, which is not required by an implementation; mean? It's especially confusing since the two examples you give start with two consecutive LAMBDAs. --Koen (talk) 01:00, 14 September 2012 (UTC)


 * I am pretty sure the "if the program begins with two consecutive LAMBDAs" should have "lambda expressions" instead, so I've fixed that.
 * As for the numbers, this is a form of De Bruijn indices: a number ZERO refers to the variable of the immediately enclosing LAMBDA, ONE MORE THAN ZERO refers to the next one enclosing that, etc. In particular a LAMBDA does not give a fixed number to its variable. --Ørjan (talk) 02:56, 14 September 2012 (UTC)
 * I am also confused by the order of "applied to" here. Let me check... converting to a more normal notation, but keeping the application order, the church addition example becomes   which is precisely what you'd expect if the first expression is applied to the second as usual.  Will clarify. --Ørjan (talk) 02:56, 14 September 2012 (UTC)