Я правильно понимаю, что единственным определяющим признаком функциональной программы является отсутствие изменяемых переменных?