主要观点：编程中存在名义类型系统和结构类型系统的区别，多数语言默认采用名义类型但有局限性，结构类型虽有优势但也有缺点，Polaris 采取了不同的 approach 结合两者。
关键信息：

• 在 Java 等语言中，名义类型需定义且名称决定身份，即使实现相同名称不同也不等。
• 结构类型在 TypeScript 中，定义相同则类型相等，可灵活处理但数据抽象和错误消息方面有不足。
• Polaris 中所有记录和变体是结构类型，名义类型通过轻量级 newtype 包装实现，可灵活转换且类型细化更强大。
• Gleam 的变体推断功能，Polaris 在此之前已支持且实现更强大、简单和一致。
  重要细节：
• Java 类 A 和 B、OCaml 记录 type a 和 type b 即使实现相同也不能相互赋值。
• 在 Polaris 中，data Tree(a)定义新类型，构造函数可隐藏使类型抽象，unwrap 后可获得结构类型的好处。
• Polaris 中匹配变体可细化类型，如对Tree匹配后类型更精确，信息可跨函数边界。
• TypeScript 虽可实现类似功能但会放弃名义类型的好处，而 Polaris 则可兼得。