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,
LAMBDA (expr) means
λZERO.(expr) for the first LAMBDA to appear,
λONE.(expr) for a LAMBDA that's inside of a
λZERO.( ), 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
\a \b \c \d ((a c)((b c) d))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)
- The page in question was previously created by a spambot. Presumably Taneb saw the title of the spam page and thought that it would make for a good esolang name. (If you want to know why the spambot thought up that name, it's presumably based on the name of the movie, which is close to inexplicable. The "Real Fast" appears to have been added by the spambot, though, and is not part of the name of the original movie.) --ais523 02:41, 10 December 2018 (UTC)