אנגלית ⇄ רוסית +

strongly typed, constraint language מתח
.תִכנו	строго типизированный язык программирования в ограничениях (Alex_Odeychuk)