関数オブジェクトをより形式化したものとして、数学(圏論)における関手(ファンクタ)と同様のものを持つ言語もある.
関数オブジェクトを