커링,currying in RRWiki

Difference between r1.9 and the current

@@ -17,12 +17,18 @@

{
WtEn:curried_function ?
https://foldoc.org/curried+function

MKL

[[커링,currying]]

}
[[uncurrying]] =,uncurrying =,uncurrying . uncurrying
{
WtEn:uncurrying ?
[[curried_function]]을 ....
https://foldoc.org/uncurrying

MKL

[[커링,currying]]

}//uncurrying Ggl:uncurrying // 언커링 ? Ggl:언커링 Bing:언커링 Naver:언커링

[[uncurried_function]]을 [[curried_function]]으로 바꾸는 게 '''currying'''. (foldoc)

mentioned, chkout.
대충, 함수를 쪼개어 한 입력만 받는 함수로 식,expression을 변환하는?

(두 변수,variable에 대한 연산,operation)을
(두번째 변수를 argument로 받는 function을 되돌리는 한 변수에 대한 연산)으로
변환,transformation하는 과정,process의 일종.
전산학,compsci과 lambda_calculus에 쓰이는데, 범주론,category_theory에서는 closed_monoidal_category 안에서의 natural_isomorphism으로도 보는...
이것의 inverse_operation 은 uncurrying.
(nLab)

함수,function
펑션,function
uncurried_function
curried_function =,curried_function =,curried_function . curried_function
{

MKL
커링,currying
}
uncurrying =,uncurrying =,uncurrying . uncurrying
{

MKL
커링,currying
}//uncurrying

uncurrying // 언커링 ?

uncurried_function을 curried_function으로 바꾸는 게 currying. (foldoc)