Building A Typechecker From Scratch

Enroll: http://dmitrysoshnikov.com/courses/

This is the fourth lecture from the "

This is the second lecture from the "

How I

A Type System From Scratch – Robert Widmann

Implementing the

This is the third lecture from the "

A Video Demo of

Coding an interpreter in C that evaluates simple arithmetic expressions. Covering the basics of interpreting: coding the user input, ...

I invented a language called max--, and wrote a compiler for it from

Ever wondered how type checkers work? Want to

Switching from MyPy to TY for Python type checking will dramatically improve your development workflow. This video ...

In this stream we refactor and overhaul the entire

Binary operators were previously not type-checked at all. This was a real issue, as it broke codegen when the wrong type was ...

Compiler Design Module 43 : Typechecker Implementation

Type checking and type inference in particular are often perceived as super-advanced topics, only reserved for specialists, ...