Использование синтаксических шаблонов TS небезопасно. Конструкции построены на компромиссах и не обеспечивают типобезопасного обращения с ними. Как думаете, сколько это будет стоить или уже стоит вашей компании?
Руководство TS говорит о своей системе ровно столько, сколько надо, чтобы вы вернулись к нему снова, и не более. В результате больших недосказанностей у нас появляются "философские вопросы", которые каждая компания решает по-своему правильно и неправильно. Что же со всем эти делать?
Очень часто разработчики говорят о том, как использовать возможности TS и задействовать полностью или частично многообразие системы типов. Однако почти никто не рассуждает о том, а как же писать типобезопасный код в рамках этой системы.