“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.
随便看	uriniferous tubule URL URL redirection urn model Urochordata Ursa Major Ursa Major Moving Cluster Ursa Minor URSC Ursidae Ursid meteors urtite Uruguay Uruguay Round Uruk Ururoan Urutawan Urysohn’s lemma Usachev, Yury Vladimirovich (1957– ) usage software USA((space exploration)) USB USB drive USB flash drive USC