関数を引数に取ったり、関数を結果として 返すような関数。

数学では 汎関数 と呼ばれることもある。

汎関数 -- 数学における同様の概念

モノイド（monoid）

第一級関数、ファーストクラスファンクション（first-class function）

組み合わせ論理、コンビネータ論理（combinatory logic）

Function-level programming

関数型プログラミング（functional programming）

Kappa calculus - a formalism for functions which excludes higher-order functions

Strategy （ストラテジ、戦略）パターン（strategy pattern）

Higher order messages