> 変数に型がない言語で引数の型で縛る
静的型ではないだけで
レシーバの型に応じたディスパッチ（いわゆるポリモーフィズム）はあるのだから
ぜんぜん「変な話」ではないと思う

ただし現実問題として引数型に対する多重ディスパッチは無い
というのが多くのLLの現状

C++族のオーバーロードによる多重ディスパッチは多重だが静的な
（コンパイル時の）ディスパッチなので
動的言語に適したもの、となると、実行時型による動的な
多重ディスパッチになるんだろう