Currying: Stepwise Applications

This lecture introduces the concept of currying, which allows defining functions that return functions. It covers stepwise applications of functions, consecutive applications without intermediate functions, and the expansion of multiple parameter lists. The lecture also explains the history of currying and its relation to logic. Practical exercises include writing product and factorial functions, and generalizing sum and product.