Course repository: https://github.com/DmitrySoshnikov/eva-tc-source
Lecture contents:
- Introduction to Type theory
- Parsing pipeline
- Abstract Syntax Tree (AST)
- Static vs. Dynamic type checker
- Strong vs. Weak typing
- Sound vs. Unsound type system
- Type safety and Memory safety
- Type judgements
- Type Environment, Г
- Type checking vs. Type inference
- Hindley-Milner (HM) | Type constraints
- Eva programming language
- Union types
- Generic types
- Implementation of Number type