>>317
動的バインドには(実装の)継承どころか(界面の)サブタイプすら
なくたって構わない。たとえばinterfaceどうしの継承がなくて、
変数や返値の型にはinterface型しか書けないよう改造したJava言語
考えてみなよ。動的バインドは何ら問題なくできるでしょ？
そういうものもstatically typedな言語の「一部」には違いないよネ。