Types

Motoko has a sound, expressive type system that prevents whole classes of bugs at compile time: null-pointer errors, missing-pattern errors, and uncoordinated stable-state changes across upgrades. This section covers each type form and the subtyping rules that connect them.