Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
lambda application λt. t 1 2 ((λc. c) 3) --------------------- lambda application λt. t 1 2 3 Notice how the first two applications of the inner function moved its argument to outside its own body. At this point, you may be asking why, to which I reply, why do we even had a scope to begin with? One