We had a weird hack in place to handle the type of an expression like x + 3 but now we can do better. Let's do it! You can find the source code at co… ...more

I choose to avoid using "AI" (by which I mean Large Language Models). Here's why: They have a devastating environmental impact. 1 2 They are trained … ...more

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