ダックタイピング
duck typing
型システム
動的型付け
ポリモーフィズム
派生型
ダイナミックバインディング
動的プログラミング言語
ダックテスト
ジェネリックプログラミング
Structural type system（構造的型システム）
Nominal type system（名前的型システム）
型推論
ダック・タイピング - Wikipedia