Those interested in programming without variables may wish to read John Backus' 1977 ACM Turing Award Lecture: Backus, John. "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs." Communications of the ACM 21, 8 (August 1978), 613-641. --Guy