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.
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