We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.
I think this problem should be restated, as it's a bit too ambiguous.
The question states: "Compute the value of λx.λy.(x^47)y"
However, the correct answer is not a computation at all (as per the usage of the term "compute" in previous questions), but rather the mental translation of a Church encoding. Furthermore, the shorthand "^" is taken to mean repeated function application without explanation.
Thus, I think rdodds confusion is warranted: we are led to believe that we must compute "x to the power of 47 times y" without knowing x or y.
Sorry to be pedantic, but I was very confused by this otherwise simple question.
Lambda Calculus - Evaluating Expressions #3
You are viewing a single comment's thread. Return to all comments →
I think this problem should be restated, as it's a bit too ambiguous.
The question states: "Compute the value of λx.λy.(x^47)y"
However, the correct answer is not a computation at all (as per the usage of the term "compute" in previous questions), but rather the mental translation of a Church encoding. Furthermore, the shorthand "^" is taken to mean repeated function application without explanation.
Thus, I think rdodds confusion is warranted: we are led to believe that we must compute "x to the power of 47 times y" without knowing x or y.
Sorry to be pedantic, but I was very confused by this otherwise simple question.