英语 ⇄ 俄语 +

dependently typed functional programming language 强调
编程	язык функционального программирования с зависимыми типами (Alex_Odeychuk)