Base Type

type-theory

Definition

Base Type

A base type is an atomic type that is not built by applying a type constructor to other types.

In a simple type grammar, base types are the constants $b\in \mathcal{B}$ in

$$\tau ::=\alpha \mid b\mid {\tau }_1\to {\tau }_2.$$

Examples include $\mathrm{Bool}$, $\mathrm{Int}$, and $\mathrm{Unit}$.