я из всех предложенных статей вывел следующие аргументы против TS, с которыми можно работать:
1) фиг знает, что там MS выкинет в будущем - стандарта нет, комитета нет, все проприетарное
2) не факт, что типы уменьшат количество багов, статистики про это нет
3) полиморфизма в TS так и не завезли, а делать фейковый JS-полиморфизм станет сложнее.