>>438
丁度今、型なしで動的バインディング前提の言語処理系組んでるんだよね。
パフォーマンスを稼ごうと思ったら実質的なプリミティブ型の処理を
ネイティブバイナリに落としていくのが一番だけど
それをやるにはメソッドバインディングの際にバインディング対象が
確かにプリミティブ型であることをどこかで保証しなくちゃいけない。
言語仕様自体に型がないからコンパイル時に型を推定するのには限度があるし
といって実行時に型をチェックしていたら検査コストの分だけ遅くなる。
これは Ruby に限らず Smalltalk なんかでも同じ事情じゃないかなぁ、と。