[functional-programming] ‘Currying’이란 무엇입니까?

Currying은 이전보다 한 가지 적은 인수를 취할 수 있도록 함수에 적용될 수있는 변환입니다.

예를 들어 F #에서는 다음과 같이 함수를 정의 할 수 있습니다.

let f x y z = x + y + z

여기서 함수 f는 매개 변수 x, y 및 z를 취하여 함께 합칩니다.

f 1 2 3

6을 반환합니다.

따라서 우리는 f :-에 대한 카레 함수를 정의 할 수 있습니다.

let curry f = fun x -> f x

여기서 ‘fun x-> fx’는 C #에서 x => f (x)에 해당하는 람다 함수입니다. 이 함수는 카레하려는 함수를 입력하고 단일 인수를 사용하고 첫 번째 인수가 입력 인수로 설정된 함수를 반환하는 함수를 반환합니다.

이전 예제를 사용하여 f의 카레를 얻을 수 있습니다.

let curryf = curry f

그런 다음 다음을 수행 할 수 있습니다.

let f1 = curryf 1

이는 f1 yz = 1 + y + z와 동등한 함수 f1을 제공합니다. 이것은 우리가 다음을 할 수 있음을 의미합니다.

f1 2 3

6을 반환합니다.

이 과정은 종종 다음과 같이 정의 할 수있는 ‘부분 기능 응용 프로그램’과 혼동됩니다.

let papply f x = f x

우리는 하나 이상의 매개 변수로 확장 할 수 있지만 다음과 같습니다.

let papply2 f x y = f x y
let papply3 f x y z = f x y z
etc.

부분 응용 프로그램은 함수와 매개 변수를 가져 와서 하나 이상의 매개 변수가 필요한 함수를 반환하며 이전 두 예제가 표준 F # 함수 정의에서 직접 구현되므로 이전 결과를 얻을 수 있습니다.

let f1 = f 1
f1 2 3

6의 결과를 반환합니다.

결론적으로:-

카레와 부분 함수 적용의 차이점은 다음과 같습니다.

Currying은 함수를 가져와 단일 인수를 허용하고 첫 번째 인수가 해당 인수로 설정된 지정된 함수를 반환하는 새 함수를 제공합니다. 이를 통해 여러 매개 변수가있는 함수를 일련의 단일 인수 함수로 나타낼 수 있습니다 . 예:-

let f x y z = x + y + z
let curryf = curry f
let f1 = curryf 1
let f2 = curryf 2
f1 2 3
6
f2 1 3
6

부분 함수 응용 프로그램이 더 직접적입니다. 함수와 하나 이상의 인수를 사용하여 지정된 n 개의 인수로 설정된 첫 번째 n 개의 인수를 가진 함수를 반환합니다. 예:-

let f x y z = x + y + z
let f1 = f 1
let f2 = f 2
f1 2 3
6
f2 1 3
6

답변

let add = function(x){
  return function(y){
   return x + y
  };
};

let addTen = add(10);

let add = function(10){
  return function(y){
    return 10 + y
  };
};

function(y) { return 10 + y };

 addTen();

 function(y) { return 10 + y };

 addTen(4)

function(4) { return 10 + 4} // 14

let addTwo = add(2)       // addTwo(); will add two to whatever you pass in
let addSeventy = add(70)  // ... and so on...

let doTheHardStuff = function(x) {
  let z = doSomethingComputationallyExpensive(x)
  return function (y){
    z + y
  }
}

let finishTheJob = doTheHardStuff(10)
finishTheJob(20)
finishTheJob(30)

>>> from functools import partial as curry

>>> # Original function taking three parameters:
>>> def display_quote(who, subject, quote):
        print who, 'said regarding', subject + ':'
        print '"' + quote + '"'


>>> display_quote("hoohoo", "functional languages",
           "I like Erlang, not sure yet about Haskell.")
hoohoo said regarding functional languages:
"I like Erlang, not sure yet about Haskell."

>>> # Let's curry the function to get another that always quotes Alex...
>>> am_quote = curry(display_quote, "Alex Martelli")

>>> am_quote("currying", "As usual, wikipedia has a nice summary...")
Alex Martelli said regarding currying:
"As usual, wikipedia has a nice summary..."