什么是通用型？

Question

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

Answer 1

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

Answer 2

Russell's Paradox潜伏在翅膀中。就像你开始进入“所有套装”之类的东西一样，你可以打破你的数学系统，如果你对所有类型的类型都有些过于粗暴，你也可以打破你的类型系统。设计类型系统需要一点点照顾。