It probably makes sense to support type declarations of the following form:
type Null
These are so-called unit types. We could then actually remove the null type altogether. However, we would need someway to construct values for them. We could repurpose the empty tuple or empty record for this?
It probably makes sense to support type declarations of the following form:
These are so-called unit types. We could then actually remove the
nulltype altogether. However, we would need someway to construct values for them. We could repurpose the empty tuple or empty record for this?