一流のメッセージ

オブジェクト指向プログラミングにおいて、メソッド呼び出しにおいて、受信オブジェクトとパラメータリストだけでなく、呼び出される特定のメソッドも動的に変更できる場合（つまり、変数にバインドしたり、式として計算したりできる場合）、そのプログラミング言語は第一級メッセージまたは動的メッセージを持つと言われます。

JavaやC++などの型付きオブジェクト指向プログラミング言語では、ファーストクラスメソッドがサポートされていないことがよくあります。^{[ 1 ]} Smalltalkでは、型なしの方法でのみサポートされています。^{[ 2 ]} Objective-C（Cocoa ）では、 NSInvocationを使用して、実行時に型を認識する方法でファーストクラスメッセージを表現できますが、安全な使用は依然としてプログラマに依存します。

型安全な方法で第一級メッセージをサポートするための理論的な進歩はいくつかあったが、提案されたシステムのいずれもプログラミング言語で実装されておらず、おそらくその複雑さが原因であろう。^{[ 3 ]}

• 委譲（オブジェクト指向プログラミング）
• 第一級関数

• 西村進 (1998). "動的メッセージのための静的型付け". POPL '98 .
• ミシェル・ブグリエージ＆シルビア・クラファ（1999）。「動的メッセージのためのオブジェクト計算」。FOOL 6。
• Martin Müller & Susumu Nishimura (2000). "特徴制約付き第一級メッセージの型推論". International Journal of Foundations of Computer Science 11 :1.
• François Pottier (2000). "汎用性の高い制約ベースの型推論システム". Nordic Journal of Computing .
• Paritosh Shroff & Scott F. Smith. " Match 関数を使用した第一級メッセージの型推論"。