英语 ⇄ 俄语 +

well-typed values 强调
编程	правильно типизированные значения (типов ssn)
well-typed value
编程	правильно типизированное значение (ssn)