Описан способ построения простых функциональных языков программирования, пригодных для определения классов рекурсивных функций ограниченной вычислительной сложности. Все обрабатываемые данные в языке обязательно ограничены типами, которые также могут быть построены средствами языка. Языки рассчитаны как на изучение сложностных классов алгоритмов, так и на расширения для практического программирования.
языки программирования, функциональное программирование, вычислительная сложность алгоритмов