RU / Day 2 / 14:00 / Track 1

Apps on JS gradually become bigger and more complicated, and tools such as Flow and TypeScript become more popular. Static typing is now a common thing in JS world, but we rarely wonder why these types look one way of another. How were the type systems of modern languages shaped, what theory lies behind them and where all of this is going? Let's try to discuss this.

Video presentation.

Vyacheslav Shebanov

Engineering manager for messaging service on VK platform. Likes functional programming languages. Extremely interested in type theory and adjacent subjects.