ダックタイピング

• ダック・タイピング - Wikipedia
• [Think IT] 第3回：オブジェクト指向と関数型を兼ね備えた「Scala」 (3/3)

オブジェクト（変数の値）に何ができるかはオブジェクトそのものが決定する

ダックタイピングは、Smalltalk,Python,Rubyなど。

• 型推論 - Wikipedia

型推論は、Haskell,Scalaとか。