Вячеслав Шебанов — Системы типов в двух словах