DEV Community: Adebayo Abiodun Adeyemi

DATA TYPES IN MOTOKO

Adebayo Abiodun Adeyemi — Tue, 11 Feb 2025 14:18:34 +0000

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).

TYPES IN MOTOKO

Adebayo Abiodun Adeyemi — Tue, 11 Feb 2025 14:18:06 +0000

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

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