比Stack Overflow问题更具体一点什么是存在类型？,Scala的存在类型和Java的通配符之间有什么区别,特别是有一些说明性的例子？
在迄今为止我见过的所有内容中,它们似乎都相当.
一些参考文献.马丁奥德斯基提到了他们 ; 谷歌对我的问题最为重要:
MO:原始的通配符设计......受到存在主义类型的启发.实际上,原始论文在存在类型中具有编码.但是当实际的最终设计出现在Java中时,这种联系就失去了一点点
java type-systems scala existential-type bounded-wildcard
bounded-wildcard ×1
existential-type ×1
java ×1
scala ×1
type-systems ×1