名义类型用于存储，结构类型用于操作

本文讨论了编程语言中名义类型和结构类型的区别。名义类型通过名称标识，即使实现相同，不同名称的类型也不相等，例如Java和OCaml。结构类型通过结构标识，相同结构的类型即使名称不同也相等，例如TypeScript。作者认为大多数语言在这方面做得不够好，并提出了Polaris语言的解决方案：使用名义类型包装结构类型，兼顾两者的优点。Polaris利用newtype包装器实现名义类型，内部使用结构化的记录和变体，允许在需要时解包并利用结构类型的灵活性。文章还比较了Polaris和Gleam的变体推断功能，指出Polaris的方法更强大、更简单且更一致。