TypeScript学习-Type Compatibility

TypeScript是基于被称为structural subtyping system进行type compatibility工作的，因为JavaScript大多使用匿名的函数表达式或者对象字面量，所以使用structural subtyping system比使用nominal-type system要自然

A Note on Soundness