Не пробовал TS, но мне кажется, что он не может забрать преимущества динамической типизации банально потому что TS не забирает динамическую типизацию, а лишь добавляет статическую
Если тебе надо использовать Any, чтобы сделать какую-нибудь прикольную и удобную штуку, которая делается на статике значительно сложнее, ты можешь использовать Any
Ещё раз: ты не можешь делать прикольные штуки с типами, если у тебя для этого используется Any, не лишаясь статической типизации, потому что всё, что ты потом сделаешь из Any, тоже станет Any
Хорошее замечание. Статика в TS ≠ статика в C# или Java. TS скорее добавляет удобство при разработке, но 100% гарантию отсутствия ошибок с типами в рантайме – нет, как например Rescript