в программировании - всё ячейка памяти.
А специфически переменная - потому так и названа, что является местом хранения изменяемого состояния,
потенциально глобального.
Конечно, это и сопровождать трудно, и правильно заставить работать почти невозможно, mayton прав.
Сказать "у меня есть переменная" тождественно равно утверждению "я знаю как присвоить ей значение, для этого у меня оператор присвоения".

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

Алексей Роза 2020,

считается, что прикладным программистам не положено работать с адресами памяти напрямую.
Они обязаны в этом ничего не понимать.
А за любую попытку понять и попробовать - должны наказываться.
Вот и все программирование. Хоть какое.

Про математику - вот этот вопрос тоже занимательный.
Понимать в ней программисту, судя по организации некоторых языков, тоже крайне нежелательно.
Иначе могут возникать досадные вопросы - сорта, а почему это язык программирования не требует определения оператора
>= способом, согласованным с определением оператора <.
В самом благосклонном случае получишь ответ - сделай себе сам, раз такой умный.
Практическому программированию оставляется возможность соотноситься с математикой,
как киевскому дядьке с огородной бузиной.

Поэтому, пользуешься ты оператором присвоения, или нет, существенного значения, в конечном итоге, не имеет.

ФП - это "французский" подход к программированию. Не столько даже в части положенной внутрь математики,
сколько в части секретного, сакрального, максимально зашифрованного для непосвященного входа узкую секту приобщенных.
Где за разглашение того, как работает монада, полагается такое же наказание, как за разглашение факта иррациональности корня из двух.

Императивное программирование - это "английский" подход.
Вот тебе в руки оператор присвоения, а дальше разлюли-малина, фигом по деревне.
Главное, - ты абсолютно свободен, и секретов никаких нет.