The Structure of Types

Types are not just labels; they are elements in a partially ordered set. Lattices provide the [mathematical framework] for understanding subtyping, join/meet operations, and the <flow of information> through a system. This stub points to the (formal foundations) of the TypeScript type system and Spw semantic maps.

#>lattice_essentials

Lattice Essentials

Partial Orders

The core relation ≤ that defines "more specific than". The backbone of inheritance and subtyping.

wiki: Poset

Top and Bottom

In the JS world: unknown (Top) and never (Bottom). The absolute boundaries of the type lattice.

ts: Type hierarchy