英语 ⇄ 俄语 日语 +

data-type theory 强调
编程	теория типов (Microsoft Alex_Odeychuk); теория типов данных (Microsoft Alex_Odeychuk)