5. Functions and Expressions

Functions annotate parameter and return types. A block's final expression, written without a semicolon, is its value. `if`, `match`, blocks and `loop` are all expressions that can produce values.