Некоторые языки программирования обходятся без классических переменных, потому что в них используются другие подходы к решению задач, например, декларативное программирование. 1

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

Некоторые примеры языков программирования, которые используют такой подход:

• Smalltalk. 3 Язык базируется исключительно на понятии объекта, в нём отсутствуют операторы или данные. 3
• Функциональные языки, такие как Lisp, Miranda, Haskel. 1 Программа, написанная на функциональном языке, состоит из последовательности функций и выражений, которые необходимо вычислить. 1