language-agnostic, Programming IT Nursery What is an existential type? I read through the Wikipedia article Existential types. I gathered that they’re called existential types because of the existential operator (∃). I’m not sure what the point of it... May 31, 2022 0 Comments