>>587
分岐（メソッド探索）の話などしていない

どの式がどのインターフェースを実装しているのかを実行時に検査してるのか？
どの式がどの型の部分型かを実行時に検査しているのか？
へー、それ、なんていう言語だい？