ダイナミックな型システム

[id:m-hiyama:20050903:1125731280]
僕もあまり詳しくないですが、RubyのDuck Typingなんかは、こういうのを上手く扱えそうな気がします。動的にメソッドを追加する場合も、大丈夫かな?
でも、Duck Typingって、同音異義語/句に対して弱そうだが、どうなんだろう?