About Dmitry Soshnikov

---

Collection of the educational lectures, and classes from Dmitry Soshnikov.

Here you will find advanced materials on different topics, related to programming languages theory and implementations: compilers, garbage collectors, RegExp machines, ECMAScript programing language, etc.

Other works can be found on the official website: http://dmitrysoshnikov.com/

Building a Typechecker from scratch [4/20] Variables and Typing Environment, Г

This is the fourth lecture from the "Building a Typechecker from scratch" class where we build a static type checker for a full programming language similar to TypeScript, Java, etc. Other lectures of the course: https://www.youtube.com/playlist?list=PLGNbPb3dQJ_7Ebu_ZZo-ZyOAK0rd8JAw_ In this lec…

---

Building a Typechecker from scratch [3/20] Math binary operations | String concat

This is the third lecture from the "Building a Typechecker from scratch" class where we build a static type checker for a full programming language similar to TypeScript, Java, etc. Other lectures of the course: https://www.youtube.com/playlist?list=PLGNbPb3dQJ_7Ebu_ZZo-ZyOAK0rd8JAw_ In this lect…

---

Building a Typechecker from scratch [2/20] Numbers and Strings | Testing

This is the second lecture from the "Building a Typechecker from scratch" class where we build a static type checker for a full programming language similar to TypeScript, Java, etc. Other lectures of the course: https://www.youtube.com/playlist?list=PLGNbPb3dQJ_7Ebu_ZZo-ZyOAK0rd8JAw_ In this lec…

---