＞こまで極論しなくても、メッセージ式の返り値の型を一意に決定できるようにするには
＞メソッドを定義するときには既存のメソッド名とは別の名前をつける必要があるよね。
＞それって、オブジェクト指向とは逆行するものだと思うよ。
＞例えば適当なSmalltalkの処理系、とりあえずSqueakでもいいや、
＞「at:」という名前のメソッドを列挙すると46個あったりするけど、
＞これはat:という名前から46個のメソッドが有り得てしまうという「混沌」かな？

総称は本来静的な考え方でしょ。同名の関数（メソッド）がいくつあっても
コンパイラや解釈系がどんな型へのメッセージかを一意に決定できて、別のものになる。
ソースコードのレベルで多相を実現しているに過ぎない。静的型の技術を用いている。

＞「１つのプログラム中のバグの数の減らしやすさ」を「デバッグのしやすさ」と捉えれば
＞関数（メソッド）の型を一意に決定することは逆効果だよ。
＞関数の型を一意に決定することは再利用を妨げることになり、
＞結果的にバグが混入する可能性を高めることにしかならない。

再設計とかリファクタリングの話をしているの？「型を一意に決定する」って
「オブジェクト指向な開発スタイルなのに、全部最初に矛盾なく決めてからやる」
ってことじゃないですよ。