Programming languages 什么是通用型？

我听说在编程语言类型系统的上下文中出现了“通用类型”这个术语，有人知道这是什么意思吗？是否与字符串之类的对象有关，其中“foo”的两个实例是相同的，即使（“foo”==“foo”）可能是错误的？

一个快速的维基百科搜索出现了：：“类型理论中的顶级类型，通常缩写为top或down-tack符号(⊤) 是通用类型——包含感兴趣的类型系统中所有可能对象的类型。”换句话说，它是“object”类，它是（直接或间接）正如其他的类一样，正如上面的页面指出的，C++在OO语言中是不寻常的，因为它没有通用的类型。

隐藏在你的翅膀中。就像你可以在进入“所有集合”之类的东西时破坏你的数学系统。，如果你对所有类型的类型都有点太过漠视，你也可以打破你的类型系统。设计类型系统需要一点小心