英语 ⇄ 俄语 +

gradually typed 强调
编程	с постепенной типизацией (gradual typing is a type system that uses both dynamic typing and static typing; InfoWorld Alex_Odeychuk)