> http://www.atdot.net/~ko1/w3ml/w3ml.cgi/langsmith/msg/228
> 
> からのスレッドを読んでみてください。

読みました。

DuckTyping + 型推論という問題を考える場合に、Typing Rubyの型検査アルゴリ
ズムがなにかの参考になるかもしれないと思いましたので、直感的な説明を書い
てみようかと思います。

ちなみに、似たような問題として、MLのレコード型の型推論問題があります。こ
ちらは3年ほど前に一応の結論に至り、Objective Camlのオブジェクトの型推論
として実装されているようです。

--
Soutaro Matsumoto

--
ML: langsmith quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml