補足さしてちょ。
>>385は、静的なダイナミックバインドと動的なダイナミックバインドの実装(?)の話、
ってことでは、はずれてないと思う、けど、充分じゃない。

後者の場合でも、メッセージの集合は確定できるでそ。（極論すれば全部ってこと）
それから、「コンパイル」は持ち出さないほうがいいだろうね。

で、なんで静的なダイナミックバインドと動的なダイナミックバインドを区別するか
っていうと…
はっきりわからん。
静的な型付けの言語と動的な型付けの言語だと、どうしてもこういう違いは出てくる
から、わざわざ分けなくても別れてるって感じ。

ただ、型安全の保障の問題とか、初期化時に変数の型が決定するような場合とか、
静的型付けの言語で、サブクラスへのキャストを許す場合とか、違いを論じるのに
意味のある場面はいろいろ想像できる。

このへん、詳しい人の解説があるとうれしいじょ。