>>41
型同士の互換性を型の構造から判断する型システムが構造的型付け

`def foo(x: Sequence) -> Sequence`という関数を`foo(a)`で呼び出した時
aがSequenceと互換性があるかどうかをSequenceとaの型の構造から判断するのが構造的型付け
ダックタイピングはそういう判断自体をやってない

特に動的か静的かをイメージしてたわけではなく
>>34の書きぶりから匿名抽象型みたいなものがある言語の例を期待してた