我阅读了维基百科文章的存在类型.我认为,由于存在运算符(∃),它们被称为存在类型.不过,我不确定它的重点是什么.有什么区别
T = ?X { X a; int f(X); }
和
T = ?x { X a; int f(X); }
？
language-agnostic types type-systems existential-type
existential-type ×1
language-agnostic ×1
type-systems ×1
types ×1