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

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