英语 ⇄ 俄语 +

strongly typed, constraint language 强调
编程	строго типизированный язык программирования в ограничениях (Alex_Odeychuk)