英语 ⇄ 俄语

tagged type substitutability 强调
编程	подстановочность тегированных типов (подстановочность – основная характеристика полиформизма типов Alex_Odeychuk); возможность подстановки тегированных типов (Alex_Odeychuk)