英语 ⇄ 俄语 +

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