일급 함수

조건

일급 함수(First-class function)란, 일급 객체와 같이 다룰 수 있는 함수를 뜻합니다.

일급 객체에 대해서는 여러 설명이 존재하지만, 로빈 포플스톤(Robin Popplestone)이 내린 정의에 따르면 일급 객체를 구성하는 요소는 다음의 기본적인 권리(Fundamental rights)를 가집니다.

즉, 함수에 매개변수로 넘기기, 수정하기, 변수에 대입하기와 같은 통상적인 연산을 지원할 때, 해당 객체는 일급 객체라고 할 수 있습니다.

통용 범위를 자바스크립트로 한정했을 때, MDN의 설명에 따르면 일급 함수는 일반적으로 다음의 정의를 따릅니다.

이를 통해, 일급 함수는 마치 통상적인 자료형과 마찬가지로 다루어질 수 있다는 것을 느낄 수 있습니다. 물론 일급 함수는 함수에 속하므로, 다른 자료형과 다르게 호출이 가능합니다.

일급 함수의 특징을 응용하여, 콜백 함수와 고차 함수를 만들 수 있습니다.

콜백 함수(Callback function)는 매개변수를 통해 다른 함수의 내부로 전달되는 함수입니다.

고차 함수(High-order function)는 매개변수를 통해 콜백 함수를 전달받는 함수입니다. 자바스크립트 자체에 내장된 고차 함수로는 map, filter, reduce 등이 존재합니다.

콜백 함수는 고차 함수에 의해 호출되며, 내부 조건절에 따라 여러 번 실행될 수도, 단 한 번도 실행되지 않을 수도 있습니다.