If we write let x: i32 = 3; then we should know that x is an i32, right? Let's make it so! You can find the source code at codeberg.org/andybalaam/mi… ...more

The final (for now) side mission before we get back onto type-checking variables: allowing complex expressions to exist before operators. You can fin… ...more

We're on our way towards type-checking variables, but first we take another detour into parsing expressions: if we hit an unexpected token, we should … ...more

We are starting down a road towards type checking variables, but we go on a detour to make sure we can parse the simplest possible condition in a whil… ...more

Working up towards some difficult type-checking, we do some easy type-checking: the condition part of a while condition should be a boolean, and to ge… ...more