Типизация — ШРИ 2024

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