Functional Programming, Programming, Programming Languages.
Now to apply a function to its argument, just substitute the argument in function’s body. After substitution, we have the below result. λarg.(λx.x arg) After this step, the third expression becomes, ((λfunc.λarg.(func arg) λx.x) y) --> (λarg.(λx.x arg) y) Now the reduction of the resultant