Cairo is an expression-oriented language, where most syntax productions producing values or causing effects when evaluated are expressions. Many expressions can nest within each other, and sequence of evaluation is driven by precedence and associativity rules.
The kinds of statements are:
Statements are usually separated with a semicolon (
Extraneous semicolons are ignored.
Semicolons after last statement in code block may be omitted and have a separate semantic
meaning as it makes the statement define returned value of enclosing code block
(see code blocks for more details).