Возможность введения частично определенных функций
Трудоемкость отладки композиций из хорошо определенных функций растет
Система операций над стеком
Правильность выражений с функциями высшего порядка требует
Для правильности выражений с функциями высшего порядка требуется
К представлениям более высокого порядка в динамике представления знаний приводит
Многие выражения по смыслу используемых в них операций иногда определены при
Обобщение в динамике представления знаний приводит к представлениям более высокого порядка, которые могут выражаться в виде
На основе типовых выражений можно
