JavaScript 함수 커링에 대한 몇 가지 생각을 자세히 소개합니다.

1. 고차 함수의 함정

커링을 배우기 전에 먼저 다음 코드를 살펴보겠습니다.

var f1 = function(x){
    return f(x);
};
f1(x);

많은 학생들이 이 내용을 볼 수 있습니다. 이러한 작성은 매우 어리석습니다. f1 및 f 함수가 동일하기 때문에 var f1 = f;를 직접 작성할 수 있으므로 이러한 레이어에 래핑할 필요가 없습니다.

그러나 다음 코드에서는 문제를 확인하지 못할 수도 있습니다.

var getServerStuff = function(callback){
  return ajaxCall(function(json){
    return callback(json);
  });
};

이것은 제가 "JS 함수형 프로그래밍 가이드"에서 발췌한 코드입니다. 위의 규칙을 사용하여 callback가

function(json){return callback(json);};

함수와 동일하다는 결론을 내릴 수 있으므로 함수를 다음과 같이 단순화할 수 있습니다.

var getServerStuff = function(callback){
  return ajaxCall(callback);
};

계속해서 단순화합니다.

var getServerStuff = ajaxCall;

등등 어서, 우리는 이렇게 긴 프로그램이 헛되이 작성되었음을 발견했습니다.

함수는 매개변수와 반환값 모두로 사용될 수 있는데, 이는 고차 함수의 중요한 특징이지만, 조심하지 않으면 함정에 빠지기 쉽습니다.

2. 기능카레(카레)

본론으로 말하자면, 기능카레란? 함수 카레는 매개변수 중 일부만 전달하여 함수를 호출하고 나머지 매개변수를 처리하는 함수를 반환하도록 하는 것입니다. 혼란스럽게 들리지만 실제로는 매우 간단합니다. 이는 함수의 변수를 분할하여 호출하는 것을 의미합니다. f(x,y,z) -> f(x)(y)(z).

초기 예시에서는 다음과 같이 구현합니다. 두 개의 매개변수가 전달되어야 합니다. f1 호출 방법은 f1(f,x)입니다.

var f1 = function(f，x){
    return f(x);
};

f가 함수 변수로 전달되므로 f1가 새로운 함수가 된다는 점에 유의하세요.

f1을 변경하고 클로저 를 사용하여 다음과 같은 형태로 작성하면 f1 호출 방법이 f1(f)(x)이 되어 얻어지는 결과는 완전히 동일합니다. 이로써 f1 커링이 완료되었습니다. <…

아주 전형적인 예는 다음과 같습니다. f1

var f1 = function(f){
    return function(x){
        return f(x);
    }
};
var f2 = f1(f);
f2(x);

f2f는 두 개의 매개변수를 허용하므로 직접 호출할 경우 16진수 변환에 문제가 있습니다. "분리를 원하지 않음" 기사를 참조하세요. .

,

은 parseInt이 두 개의 매개변수를 허용하는 것에서 하나의 매개변수만 허용하는 새로운 함수로 변경하여 이 16진수 변환 문제를 해결합니다.

패키지를 통과하면 올바른 결과를 실행할 수 있습니다.

var f2 = f1(parseInt)f2이것은 카레 응용 프로그램이 아니라고 생각하는 학생들도 있습니다. 모든 학생들이 함께 토론해야한다고 생각합니다. parseIntf1

3. 함수 커링에 대한 추가 생각

이전 섹션의 예를 들면

을 직접 실행하는 대신

함수를 매개변수로 처리합니다. , 결과는 어떻게 될까요? 다음 예를 살펴보겠습니다.

이 f(x) 함수를 반환하고 f의 범위가

을 가리키며

함수가 f1의 매개 변수 역할을 한다고 가정합니다. 마지막으로 다음과 같은 형태로 작성할 수 있습니다. g

['11', '11', '11'].map(parseInt) //[ 11, NaN, 3 ]
['11', '11', '11'].map(f1(parseInt)) //[ 11, 11, 11 ]

g 실제로 xs를 사용하여 f을 바꾸는 것을 decurring이라고 합니다. 예: g

var f1 = function(f,xs){
    return g.call(xs,f);
};

커링 방지는 원래 고정 매개변수 또는 이 컨텍스트를 매개변수로 미래로 연기하는 것입니다. f1익숙해지면 기능을 상당히 단순화할 수 있습니다. g.call(xxx)

디커리는 제쳐두고 카레를 해보자

?

클로저를 사용하면 다음 형식으로 작성할 수 있습니다.

var forEach = function(xs,f){
    return Array.prototype.forEach.call(xs,f);
};
var f = function(x){console.log(x);};
var xs = {0:'peng',1:'chen',length:2};
forEach(xs,f);

f1를

에 전달하면 새 함수

를 얻을 수 있습니다.

f 일반적으로 매개변수의 일부만 함수에 전달하는 것을 부분 애플리케이션이라고 부르는데, 이는 상용구 코드를 크게 줄일 수 있습니다. f1f2

물론 함수

에서 전달하는 두 매개변수가 반드시 함수 + 비함수를 포함할 필요는 없습니다. 둘 다 함수일 수도 있고 둘 다 비함수일 수도 있습니다.

개인적으로 커링은 필요하지 않다고 생각하며, 익숙하지 않은 학생들은 읽기 어려울 수도 있지만, JS의 함수형 프로그래밍을 이해하는 데 도움이 될 수 있고, 더 중요하게는 비슷한 코드를 읽어도 낯설지 않을 것입니다. . Zhihu의 Luo Chen은 다음과 같이 아주 잘 말했습니다.

f1"커링"이 ​​함수형 프로그래밍에 의미가 있는 것은 아닙니다. 오히려 함수형 프로그래밍은 함수를 일류 시민으로 취급하지만 필연적으로 "커링"을 사용하게 됩니다. 그래서 "말이 된다"고 해서 그런 일은 일어나지 않습니다. 물론 존재하기 때문에 이 현상을 어떻게 활용하는지 자연스럽게 탐구할 수 있다.

연습:

var f1 = function(f){
    return function(xs){
        return g.call(xs,f);
    }
};
var f2 = f1(f);
f2(xs);

분석:

함수의 기능: 문자열 배열을 전달하고, 'q'가 포함된 문자열을 필터링하고, 새 배열을 형성합니다. 돌아왔다.

다음 단계를 통해

기능을 얻을 수 있습니다.

a. filter传入的两个参数，第一个是回调函数，第二个是数组，filter主要功能是根据回调函数过滤数组。我们首先将filter函数柯里化：

var filter = function(f){
    return function (xs) {
        return xs.filter(f);
    }
};

b. 其次，filter函数传入的回调函数是match，match的主要功能是判断每个字符串是否匹配what这个正则表达式。这里我们将match也柯里化：

var match = function(what){
    return function(x){
        return x.match(what);
    }
};
var match2 = match(/q/i);

创建匹配函数match2，检查字符串中是否包含字母q。

c. 把match2传入filter中，组合在一起，就形成了一个新的函数:

var filterQs =  filter(match2);
var xs = ['q','test1','test2'];
filterQs(xs);

从这个示例中我们也可以体会到函数柯里化的强大。所以，柯里化还有一个重要的功能：封装不同功能的函数，利用已有的函数组成新的函数。

4. 函数柯里化的递归调用

函数柯里化还有一种有趣的形式，就是函数可以在闭包中调用自己，类似于函数递归调用。如下所示:

function add( seed ) {
    function retVal( later ) {
        return add( seed + later );
    }
    retVal.toString = function() {
        return seed;
    };
    return retVal;
}
console.log(add(1)(2)(3).toString()); // 6

add函数返回闭包retVal，在retVal中又继续调用add，最终我们可以写成add(1)(2)(3)(...)这样柯里化的形式。
关于这段代码的解答，知乎上的李宏训同学回答地很好：

每调用一次add函数，都会返回retValue函数；调用retValue函数会调用add函数，然后还是返回retValue函数，所以调用add的结果一定是返回一个retValue函数。add函数的存在意义只是为了提供闭包，这个类似的递归调用每次调用add都会生成一个新的闭包。

5. 函数组合(compose)

函数组合是在柯里化基础上完成的：

var compose = function(f,g) {
  return function(x) {
    return f(g(x));
  };
};
var f1 = compose(f,g);
f1(x);

将传入的函数变成两个，通过组合的方式返回一个新的函数，让代码从右向左运行，而不是从内向外运行。

函数组合和柯里化有一个好处就是pointfree。

pointfree 模式指的是，永远不必说出你的数据。它的意思是说，函数无须提及将要操作的数据是什么样的。一等公民的函数、柯里化（curry）以及组合协作起来非常有助于实现这种模式。

// 非 pointfree，因为提到了数据：name
var initials = function (name) {
  return name.split(' ').map(compose(toUpperCase, head)).join('. ');
};

// pointfree
var initials = compose(join('. '), map(compose(toUpperCase, head)), split(' '));

initials("hunter stockton thompson");
// 'H. S. T'

위 내용은 JavaScript 함수 커링에 대한 몇 가지 생각을 자세히 소개합니다.의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!