「第一級関数」←どのへんが第一級なんだ？？

第一級関数とは

JavaScriptやPythonを学習していると、「第一級関数」というワードに遭遇することがよくあります。
ざっくりとした意味を説明すると、「第一級関数」とは、単なる値として扱われる関数を意味します。
例えば、JavaScriptでは関数を変数に格納できます。

// 変数に関数を格納できる
const add = function(x, y){
    return x + y;
}

console.log(add(1, 2)); // 3と表示される

さらに、関数の引数に他の関数を取ることも可能です。これは一般的にコールバック関数と呼ばれます。

function helloGoodbye(text) {
    text();
    console.log('さようなら');
}

function hello(){
    console.log('こんにちは');
}

// 関数の引数に関数をとる
helloGoodbye(hello) 
// こんにちは
// さようなら

この他にも関数を結果として返すことができたり、データ構造に格納できたりといった特性があります。

そんな第一級関数ですが、学習中の自分にとっては、先述のような機能がまとめて「第一級」と表現されていることが疑問でした。

関数を値として扱うことのどこが「第一級」なんだ。。？

個人的に、言葉の意味と内容に繋がりを感じる方が、内容の記憶がしやすい質なので語源を調べました。

第一級関数の本質

どうやら「第一級」とは「言語の全ての特性を自由に利用できる」という点を指しているようです。

そもそも第一級関数とは、1960年代にコンピュータ科学者であるクリストファー・ストラッチーによって導入された表現で、「第一級の市民（functions as first-class citizens）」とも呼ばれています。

冒頭でも触れた通り、第一級関数は変数に代入できたり、関数の引数にできたり、さまざまな言語の特性を自由に利用できます。

その点を指して「第一級の市民」と表現するあたり、クリストファー・ストラッチーもなかなかブラックですね。

おわりに

今回はJavaScriptの学習中に気になった「第一級関数」について深掘ってみました。
それぞれの概念が持つ意味を理解することで、より深くプログラミング言語を理解できます。
次に「第一級関数」を見かけた時は、ぜひその背後にある概念と考え方を思い出してみてください。