高階プログラミング

高階プログラミングは、関数、モジュール、オブジェクトなどのソフトウェアコンポーネントを値として使用するコンピュータプログラミングのスタイルです。通常、高階関数を多用するラムダ計算などの計算モデルを使用してインスタンス化されるか、またはそのようなモデルから借用されます。プロシージャやラベルなどのコンポーネントをデータと同じように使用できる場合、プログラミング言語は高階であると考えられます。たとえば、これらの要素は引数や値と同じように使用できます。^[1]

たとえば、高階プログラミングでは、関数を他の関数の引数として渡すことができ、関数は他の関数の戻り値になることができます (マクロ内やの解釈など)。このスタイルのプログラミングは主に関数プログラミングで使用されますが、オブジェクト指向プログラミングでも非常に役立ちます。オブジェクト指向プログラミングのコンテキストにおける高階プログラミングの少し異なる解釈は、高階メッセージです。高階メッセージでは、メッセージは関数ではなく他のメッセージを引数として持つことができます。

これをサポートする言語の例としては、Ada、Wolfram Language、C#、Java、ECMAScript（ActionScript、JavaScript、JScript）、F#、Haskell、Lisp（Common Lisp、Scheme、Clojure、その他）、Lua、Oz、Perl、PHP、Prolog、^[2] Python、Ruby、Smalltalk、Scala、ML、Erlangなどが挙げられます。

• Prolog#高階プログラミング
• 高階論理プログラミング

• Sjoerd Visscher 著「高階プログラミング」(サンプル言語として JavaScript を使用)