静的型付けがなぜ重視されるのか？
それは型が異なるものが間違って使われることを100%防げるため
人間はミスや混乱するものだからコンパイル時点で100%防げることは大きい

名前的インターフェイスによる抽象型の型付けも同様
その名前のインターフェイスが実装されている型だけを受け入れる
間違いを100%防ぐことができる

一方で構造的な場合はどうか？
100%防ぐことは絶対にできない