Explore relationships

Abstract type

In programming languages, an abstract type (also known as existential types) is a type in a nominative type system that cannot be instantiated directly; by contrast, a concrete typecan be instantiated directly.

Use + to expand a branch. Click a topic name to open its summary.