> Don't we have decades of research about the improvements in productivity and correctness brought by static type checking?

correct me if I'm wrong those studies would not have looked at TypeScript itself, which for all I know could be complete garbage designed to lock you into MSFT products.