Editing Parameter (computer programming) (section)

=== Multiple parameters in functional languages===
In [[lambda calculus]], each function has exactly one parameter. What is thought of as functions with multiple parameters is usually represented in lambda calculus as a function which takes the first argument, and returns a function which takes the rest of the arguments; this is a transformation known as [[currying]]. Some programming languages, like [[ML (programming language)|ML]] and [[Haskell (programming language)|Haskell]], follow this scheme. In these languages, every function has exactly one parameter, and what may look like the definition of a function of multiple parameters, is actually [[syntactic sugar]] for the definition of a function that returns a function, etc. [[Function application]] is [[Operator associativity|left-associative]] in these languages as well as in lambda calculus, so what looks like an application of a function to multiple arguments is correctly evaluated as the function applied to the first argument, then the resulting function applied to the second argument, etc.