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