Типы – не только для статического анализа / Алексей Попков