Word.ws English Dictionary

existential types

existential types is the plural of existential type.

Meaning of existential type

Noun

existential type (plural existential types)

  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).2002, Benjamin C. Pierce, Types and Programming Languages, MIT Press, →ISBN, page 363
    Synonyms:
    existential
  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.2001, John F. Schumaker, The Age of Insanity: Modernity and Mental Health, Greenwood Publishing Group, →ISBN, →LCCN, →OCLC, page 122

Questions about existential types

What is existential types the plural of?
Existential types is the plural of existential type.

Words near existential types in the dictionary

  1. existential quantifier
  2. existential quantifiers
  3. existential risk
  4. existential risks
  5. existential type
  6. existential types
  7. existentialism
  8. existentialisms
  9. existentialist
  10. existentialist anarchism
  11. existentialist anarchist

Source and license

Adapted from Wiktionary: existential types (page history and authors); existential type (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “existential types.” Word.ws, https://word.ws/existential_types. Based on Wiktionary, CC BY-SA 4.0.