（评论）

(comments)

原始链接: https://news.ycombinator.com/item?id=43485373

Hacker News上的一篇文章链接到一篇题为“你需要子类型”（polybdenum.com）的文章。这篇文章已经有一些评论了。一个用户不同意这篇文章的观点，并提到了TypeScript子类型中协变性的问题。另一个用户要求解释文章中“boxed”（装箱）一词的含义。第三个用户回应说，“boxed”通常指堆分配，但在文章中的相关性尚不明确，因为文章似乎将装箱记录等同于动态/结构化类型，但这并不一定正确。最后，还有一个AI创业学校的广告。