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