Рассмотрим TypeScript с точки зрения теории множеств, разберем контроль выполнения и дженерики.