(두 변수,variable에 대한 연산,operation)을
(두번째 변수를 argument로 받는 function을 되돌리는 한 변수에 대한 연산)으로
변환,transformation하는 과정,process의 일종.
전산학,compsci과 lambda_calculus에 쓰이는데, 범주론,category_theory에서는 closed_monoidal_category 안에서의 natural_isomorphism으로도 보는...
이것의 inverse_operation 은 uncurrying.
(nLab)
(두번째 변수를 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
{
curried_function ?
https://foldoc.org/curried function
펑션,function
uncurried_function
curried_function =,curried_function =,curried_function . curried_function
{
curried_function ?
https://foldoc.org/curried function
MKL
커링,currying
}
uncurrying =,uncurrying =,uncurrying . uncurrying
{
uncurrying ?
curried_function을 ....
https://foldoc.org/uncurrying
커링,currying
}
uncurrying =,uncurrying =,uncurrying . uncurrying
{
uncurrying ?
curried_function을 ....
https://foldoc.org/uncurrying