We have a plan for what error message we should get when we try to write code like let x: i32 = 3.0;. Let's try to make it a reality! You can find th… ...more

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