Building A Typechecker From Scratch

Building A Typechecker From Scratch
Published 7/2022
MP4 | Video: h264, 1280×720 | Audio: AAC, 44.1 KHz

Essentials of Type checking and Inference

What you’ll learn
Type systems
Type theory and Type judgments
Static vs. Dynamic TC
Strong vs. Weak typing
Type checking | Type inference
Type safety and Memory safety
Hands-on approach for a typechecker implementation
Build a static typechecker for a full programming language
Type declarations
Typing of generic functions
Typing functional and OOP programs
Requirements
[Optional] "Building an Interpreter from scratch" course
Description
Overview

Section 1: Type theory and Basic types

Lecture 1 Introduction to Type theory and checking

Lecture 2 Typing Numbers and Strings | Testing

Lecture 3 Math binary operations | String concat

Lecture 5 Blocks and Local scope

Lecture 6 Parsing: S-expression to AST

Lecture 7 Control flow: If and While expressions

Section 2: Functional programming

Lecture 8 User-defined functions | Local environments

Lecture 9 Function calls | Built-in functions

Lecture 10 Closures | Recursive calls

Lecture 11 Lambda functions and IILE | Syntactic sugar

Section 3: Type declarations and Classes

Lecture 12 Declaring new types | Type aliases

Lecture 13 OOP | Classes

Lecture 14 OOP | Instances

Lecture 15 Super calls | Inheritance

Section 4: Generic programming

Lecture 16 Union type

Lecture 17 Union | Type narrowing

Lecture 18 Generics | Function declarations

Lecture 19 Generics | Function calls

Lecture 20 Final executable

Programming language engineers,Any curious engineer who wants to know how typecheckers work under the hood