existential-type

    29热度

    5回答

    略高于堆栈溢出的问题更具体的What is an existential type?,一些说明性的例子就是Scala的存在类型和Java的通配符之间的区别,prefereably? 在我看到的所有东西中,它们看起来都很相当。 几个参考。 Martin Odersky mentions them;谷歌的top hit for my question: MO:原通配符设计......是由生存型的启发。