ну оно недалеко от реального положения дел, в тс действительно мало смысла, банально потому-что, что это ни рыба, ни мясо.
есть очень ловкая и поехавшая динамика - жс, со всеми вытекающими плюсами и минусами. а тс делает следующие - он нивелирует её плюсы, которые, конечно, по большей части состоят из различных финтов ушами и стремительных хуяк-хуяк (а шо ви хотели от динамики?), при этом нормального компилируемого яп мы не получаем, а рантайм вообще про типы не знает нихуя - это всё таже лапша. отсюда вопрос - нахуя накручивать костыль на динамику со стат.типами вместо того, чтобы взять нормальный яп и рантайм, изначально с этими фичами.
Не хочу щя спор подымать, да и тема протухла, но... Я искренне не понимаю какая нахуй разница между проверкой типов стат. анализатором и компилятором языка с стат. типизацией.
И ещё больше я непонимаю откуда скомпиленный билд будет знать о своих типах в рантайме, собранном под прод. А если не будет, то и нехер JS такое требование предъявлять (и нехер руками файлики/память прода трогать).