고차 함수(higher order function)란 무엇일까?

👾 고차함수(higher order function)란?

 고차 함수는 ① 함수를 전달인자(argument)로 받을 수 있고, ② 함수를 리턴할 수 있는 함수이다.

 

✔️ 1. 다른 함수를 인자로 받는 경우

 다른 함수(caller)의 전달인자(argument)로 전달되는 함수를 콜백함수라고 한다. 콜백함수는 주로 어떤 작업이 완료되었을 때 호출하는 경우가 많다.

 콜백 함수를 전달받은 고차 함수(caller)는, 함수 내부에서 이 콜백 함수를 호출(invoke)할 수 있고, 조건에 따라 콜백 함수의 실행 여부를 결정할 수도 있다. 아예 호출하지 않을 수도 있고, 여러 번 실행할 수도 있다.

 

function double(num) {
  return num * 2;
}

// doubleNum은 다른 함수를 인자로 받는 고차 함수
// doubleNum의 첫 번째 인자 func에 함수가 들어올 경우 함수 func는 함수 doubleNum의 콜백 함수
function doubleNum(func, num) {
  return func(num);
}

// 함수 double은 함수 doubleNum의 콜백 함수
console.log( doubleNum(double, 4) )

 

✔️ 2. 함수를 리턴할 수 있는 함수

 ‘함수를 리턴하는 함수'는 이를 고안해 낸 논리학자 하스켈 커리(Haskell Curry)의 이름을 따 커링 함수라고 한다. 따로 커링 함수라는 용어를 사용하는 경우에는, 고차 함수라는 용어를 '함수를 전달인자로 받는 함수'에만 한정해 사용하기도 한다. 그러나 정확하게 구분하자면, 고차 함수가 커링 함수를 포함한다.

 

// adder는 다른 함수를 리턴하는 고차 함수
/* adder는 인자 한 개를 입력받아서 함수(익명 함수)를 리턴하고,
리턴되는 익명 함수는 인자 한 개를 받아서 added와 더한 값을 리턴 */
function adder(added) {
  return function (num) {
    return num + added;
  };
}

console.log( adder(5)(3) ); // 8

const add3 = adder(3);
console.log( add3(2) ); // 5

 

✔️ 3. 함수를 인자로 받고, 함수를 리턴하는 함수

// double은 함수 doubleAdder의 콜백으로 전달
function double(num) {
  return num * 2;
}

// doubleAdder는 고차 함수
// doubleAdder의 함수 func는 doubleAdder의 콜백 함수
function doubleAdder(added, func) {
  const doubled = func(added);
  return function (num) {
    return num + doubled;
  };
}

// doubleAdder(5, double)는 함수이므로 함수 호출 기호 '()'를 사용할 수 있다.
console.log( doubleAdder(5, double)(3) ) // 13

// doubleAdder가 리턴하는 함수를 변수에 저장할 수 있다. (일급 객체)
const addTwice3 = doubleAdder(3, double);
console.log( addTwice3(2) ) // 8

 

👾 내장고차함수

 자바스크립트에는 다양한 내장 고차 함수가 있으며, 내장 고차 함수를 사용하면 코드를 간결하고 유연하게 작성할 수 있다. 대표적인 고차 함수 중에는 배열 메서드들 중 일부가 있다.

 ex. mapfilterreduceforEachsort ...

 

 

👾 고차함수와 추상화

• 추상화(abstraction) : 복잡한 어떤 것을 압축해서 핵심만 추출한 상태로 만드는 것.

 

 프로그램을 작성할 때, 반복해서 사용하는 로직은 별도의 함수로 작성하는 것도 추상화의 사례이다. 추상화의 관점에서 함수를 바라보면, 함수는 사고(thought)또는 논리(logic)의 묶음이다. 추상화를 이용하면 복잡한 로직을 신경 쓰지 않아도 효율적으로 값을 얻을 수 있다.

 함수를 통해 얻은 추상화를 한 단계 더 높인 것이 고차 함수이며, 고차 함수를 통해 보다 높은 수준(higher order)에서 생각할 수 있다.

 

---

 

✏️ 공부하며 정리한 내용입니다. 잘못된 정보나 더 공유할 내용이 있으면 댓글로 알려주세요!

읽어주셔서 감사합니다 😊