>The Lambda Calculus really is formally about single argument functions. It needn't be: https://personal.utdallas.edu/~gupta/courses/apl/lambda.pdf https://per

>The Lambda Calculus really is formally about single argument functions. It needn't be: https://personal.utdallas.edu/~gupta/courses/apl/lambda.pdf https://personal.utdallas.edu/~gupta/courses/apl/lambda.pdf Currying is just an easy way to deal with multi-argument functions. You then need to add a bunch of syntactic sugar to avoid the issues the the author complains about here (something that Haskell has done). You could just as easily go the opposite route and add a bunch of different syntactic sugar and deal with multi-variable functions directly (as python does).