existential type

名词 n.

英文释义

名词 n.
  1. In a type system: a type that hides the underlying concrete type(s).
    — Existential types are fundamentally no more complicated than universal types (in fact, we will see in §24.3 that existentials can straightforwardly be encoded in terms of universals).
  2. Used other than figuratively or idiomatically: see existential, type.
    — This is an existential type of anxiety that stems from the feeling that we are not at home in this world.

词形变化

existential types plural
0 次浏览 数据来源: Wiktionary