Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

type annotation

A colon and a type written after a name, like : bool.

A type annotation states a binding's type explicitly; the compiler checks the value against it.

Examples

  • let game_over: bool = false; states the type; let game_over: bool = 0; fails with E0308, expected bool, found integer.

See also

type inference type turbofish
Read the full section →