什么是通用类型？

Question

我听说过在编程语言类型系统中抛出的术语“通用类型”，有人知道这意味着什么吗？是否与像String这样的对象有关，即使（“foo”==“foo”）可能是错误的，两个“foo”实例是相同的？

Answer 1

快速维基百科搜索出现：Top Type：“类型理论中的顶级类型，通常缩写为顶部或由倒下符号（⊤）表示通用类型 - 该类型包含类型中的每个可能对象感兴趣的系统“。换句话说，它是“对象”类，它是（直接或间接）每个其他类的超类。正如页面指出的那样，C++在OO语言中是不寻常的，因为它没有通用类型。

Answer 2

Russell's Paradox潜伏在翅膀里。就像当你开始进入诸如“所有集合的集合”之类的时候你可以打破你的数学系统一样，如果你有点太过于盲目，你也可以打破你的类型系统;关于所有类型的类型。设计类型系统需要小心谨慎。