 Some programming languages almost always use curried functions to achieve multiple arguments; notable examples are ML and Haskell, where in both cases all functions have exactly one argument.This property is inherited from lambda calculus, where multi-argument functions are usually represented in curried form.Currying is related to, but not the same as partial application.