Functional Programming, Haskell, Computer Science, Lambda Calculus, Algorithms.
is only one occurrence of var, then applications merely move something to another location. If that is the case, lambdas act more like “redirectors” than “functions”. As such, one might wonder: what if we allowed x to occur outside of the function body? That’s what we’ll do, updating the definition