“curried function”的概念、定义、翻译、参考文献-科学参考

curried function

Computer

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.

单词	curried function
释义	curried function Computer 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.
随便看	delta modulation delta orbital delta PCM Delta rocket Delta Scuti star delta T Deltatheridium delta-V delta value delta voltage delthyrium deltidial plate De Luc, Jean André delurking delusion DEM demagnetization demagnetizer de Maillet, Benoît (1656–1738) de Maistre, Joseph Marie (1753–1821) demand demand curve demand-deficiency unemployment demand-determined output demand for money