英语 ⇄ 俄语 +

solver type 强调
编程	тип-решатель (в языке функционально-логического программирования со строгой типизацией Mercury Alex_Odeychuk)