Core Concepts

This section defines the foundational ideas that underpin the Bliss language. Everything in the Language Reference builds on these concepts, so it is worth reading this section carefully before proceeding.

What's Covered

Expressions and Statements — Bliss draws a strict distinction between expressions, which produce a value, and statements, which do not. Understanding this distinction is essential, as it governs what is valid in any given context throughout the language.

Types — Bliss is statically typed. Every value has a type known at compile time, and types are always explicitly declared. This section defines the type system and the built-in types the language provides.

---

These are not features — they are the rules the language is built on. When in doubt about why a construct behaves the way it does, the answer will almost always trace back to one of these two concepts.