Английский ⇄ Русский +

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