#TypeScript хорош только в кусочках кода, размером с экран, но в больших проектах начинается зацепление типов, это дополнительный #coupling1. Не любая конструкция джаваскрипт может быть типизирована тайпскриптом, а то, что это надмножество - это просто маркетинговое вранье.