| English | Russian |
| dependently typed functional programming language | язык функционального программирования с зависимыми типами (Alex_Odeychuk) |
| strongly typed functional programming | строго типизированное функциональное программирование (Alex_Odeychuk) |
| strongly typed functional programming | функциональное программирование со строгой типизацией (Alex_Odeychuk) |
| typed functional programming | типизированное функциональное программирование (Microsoft Alex_Odeychuk) |