3 ms·
IIRC, semilattices in type systems usually means subtypes, and lattices in type systems usually means subtypes plus a bottom type.
by pubby 8y ago
IIRC, semilattices in type systems usually means subtypes, and lattices in type systems usually means subtypes plus a bottom type.
- markvangulik 8y agoYes, that agrees with the shape of Avail’s type hierarchy. There’s a top type and a bottom type, and the latter has no instances.