高次のメッセージ

コンピュータプログラミング言語における高階メッセージ（HOM ）は、他のメッセージを引数として持つメッセージを許可する高階プログラミングの形式です。この概念は、 2003年のMacHack ^{[1] [2]}でMarcel Weiherによって導入され、2005年にMarcel WeiherとStéphane Ducasseによってより完全な形で発表されました。^{[3]ループはループするコレクションに名前を付けずに記述できるため、高階メッセージはポイントフリープログラミングまたは}暗黙プログラミングの一種と見なすことができます。

通常のSmalltalkコードでは、HOM を使用せずに、給与が 1000 の従業員のコレクションを取得するには、次のコードを使用します。

 給与所得者 := 従業員 選択: [ :各 | 各 hasSalary:  1000 ]

しかし、HOM を使用すると、次のように表現できます。

 給与所得者 := 従業員の場合、 hasSalary: 1000を選択します 。 

ここで、selectは高階メッセージであり、hasSalary:その結果ではなく、選択メッセージ自体で呼び出されるものと理解されます。Smalltalk 言語は、この機能を実装するために変更されていません。代わりに、は送信を具体化するselectメッセージを返し、送信はメッセージを解釈します。 selecthasSalary:

もう一つの例は、クロッケープロジェクトにおける将来のメッセージ送信の使用である。^[4]

(キューブの 将来: 1000 ) Y周りの回転を10に追加します。

この例では、future:メッセージにより、addRotationARoundY:1 秒後にキューブ オブジェクトにメッセージが送信されます。

Objective-Cのリファレンス実装は、Objective-Cでは、送信されたメッセージを理解できないオブジェクトでも、と呼ばれる特別なフックメソッドでメッセージを配信するという特性を活用しています。高階メッセージングは​​、 RubyやSmalltalkforward:など、この機能を共有する多くの言語で実装されています。 ^{[5] [6]}

ECMAScript Harmonyのプロキシドキュメントでは、キャッチオールプロキシのアプリケーションとして高階メッセージが具体的に言及されています。^[7]

プログラミング言語Jは、動詞と副詞を区別します。副詞は動詞の機能を変更します。これは、高次のメッセージ (副詞) が後続のメッセージ (動詞) を変更するのと似ています。上記の Croquet の例では、addRotationAroundY:. メッセージは送信され、通常の意味を持ちますが、その配信はメッセージによって変更され future:1000、将来のいつか送信されます。