Question

标称类型系统（Nominal Typing System）要求两个可兼容的类型，其名称必须是完全一致的。

type USD = number;
type CNY = number;

const CNYCount: CNY = 200;
const USDCount: USD = 200;

function addCNY(source: CNY, input: CNY) {
  return source + input;
}

addCNY(CNYCount, USDCount)

在结构化类型系统中，USD 与 CNY 被认为是两个完全一致的类型，因此在 addCNY 函数中可以传入 USD 类型的变量。人民币与美元这两个单位实际的意义并不一致，怎么能进行相加？

在标称类型系统中，CNY 与 USD 被认为是两个完全不同的类型，因此能够避免这一情况发生。

类型的重要意义之一是限制了数据的可用操作与实际意义，这一点在标称类型系统中的体现要更加明显。

上面可以通过类型的结构，来让结构化类型系统认为两个类型具有父子类型关系，而对于标称类型系统，父子类型关系只能通过显式的继承来实现，称为标称子类型（Nominal Subtyping）。

class Cat { }
// 实现一只短毛猫！
class ShorthairCat extends Cat { }