This is it: we're going to do some actual type-checking. We want to be able to identify that let x: i32 = 3.0; is wrong, but for now we're going to ch… ...more

We're still on a mission to do some type-checking, and our plan is to allow writing let x: i32 = 3.0;, then produce a type error because 3.0 is not an… ...more

We left our parser in an awful mess after the last video, so we're going to tidy it up a bit and make it easier to understand. You can find the sourc… ...more

We want to have a go at some type-checking, so the first step is to write some code that causes a type error. We are going for let x: i32 = 3.0;. To d… ...more

Finally, we are going to execute a real piece of code that actually looks like a programming language! We are setting a variable to a value, and then … ...more