# curried function

**curried function** A function of one variable that is related to a function of several variables. Let *f* be a function of two variables, *x* and *y*. Then by considering *x* constant we obtain a function in *y*; this function depends on the value of *x*. We write *g*(*x*)(*y*) = *f*(*x*,*y*)

where *g* is called a curried version of *f*. Note that *g*(*x*) denotes a function rather than a plain value. Currying is often used in theoretical work to deal simply with functions of several variables, e.g. in the lambda calculus.

#### More From encyclopedia.com

Function , A function is a mathematical relationship between two sets of real numbers. These sets of numbers are related to each other by a rule that assigns ea… Primitive Recursion , primitive recursive function A function that can be obtained from certain initial functions by a finite number of applications of composition and pri… inverse , inverse
1. (converse) of a binary relation R. A derived relation R–1 such that whenever x R y then y R–1 x
where x and y are arbitrary elements of th… Domain , Domain
The domain of a relation is the set that contains all the first elements, x, from the ordered pairs (x,y) that make up the relation. In mathem… wavelet , wavelet •mallet, palette, pallet, valet •tablet • pamphlet • aglet • anklet •candlelit • hamlet •Caplet, chaplet •lamplit • flatlet • mantlet •haslet… Equation , equation An expression that asserts the equality of two terms. To be precise, an equation has the following form. Let Σ be a signature and let t1(X1,…

#### You Might Also Like

#### NEARBY TERMS

**curried function**