Спасибо за доклад! Пара моментов: 1. Any нужен. Не всё можно выразить через типы TS. Особенно когда мы пишем системный код, а не прикладной. Другое дело, что any, на самом деле - не тип, а декларация, но это уже другая история 2. У TS нет документации, есть лишь руководство. И это не буквоедство, это разные по содержанию вещи 3. K, T являются общепринятыми сокращениями для универсального обозначения. Тем более, что в 99% мы используем их с оператором extends, чтобы "очертить" область типа 4. as не просто нужен, а категорически нужен, и не только в предикатах. В системе TS есть достаточно много приведений, которые по мере манипуляции со значениями теряют свой тип и нам приходится делать таким образом уточнение. As по большей части будет безопасен, т.к всегда проверяет пересечение типа