Motoko is a programming language for building decentralized applications on the Internet Computer.
Motoko’s Type System
We explored primitive & non-primitive types, including:
✅ Bool → true or false
✅ Int & Nat → Numbers (bounded & unbounded)
✅ Char → Unicode-supported characters
✅ Text → A collection of Char (aka strings)

_Bounded vs. Unbounded Types
_
Bounded types: Have a fixed size (e.g., Int8, Int32).

Unbounded types: Can grow dynamically (Int, Nat).