AC
Вот это очень сомнительное утверждение. 😊
Кроме того, о какой системе типов мы говорим? Как в Java/C#/AssemblyScript или как в OCaml/Haskell? Для первой категории статистические данные говорят, что они точно не дают измеримых преимуществ по сравнению с динамическими языками. Насчёт OCaml/Haskell лично у меня есть определённые сомнения, но это связано с тем, что они мне нравятся. 😊
Про TypeScript вообще говорить не приходится — там система типов дырявая как дуршлаг.


