Как и зачем я пишу свой статический типизатор

Артём — приверженец следующего подхода: «Чтобы эффективно что-то использовать — нужно написать свой аналог». Он расскажет о том, как работают самые популярные на сегодняшний день решения для статической типизации и как он пишет свое собственное решение.