Type systems in a nutshell

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.