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

functional language with dependent types מתח
.תִכנו	язык функционального программирования с зависимыми типами (Microsoft Alex_Odeychuk)