ダックタイピングは structural subtyping でも出来るし、
nominal subtyping の言語でも type erasure のような技法を
使えば実現可能（C++のboostでは使われてる）

だから動的型だけの特徴じゃないのだが、structural subtyping はまだマイナーだし、
Type erasure は少々ややこしいのが難点だな