它甚至还使用了鸭子类型,保证了静态安全。
It even honors duck typing , with static guarantees .
语言软接口与鸭子类型
Language soft interfaces and duck typing