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.
Cookie support is required to access HackerRank
Seems like cookies are disabled on this browser, please enable them to open this website
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.