Sabry, A. What is a purely functional language? Journal of Functional Programming (1997).
We begin by showing that some proposed definitions that rely on confluence, soundness of the beta axiom, preservation of pure observational equivalences, and independence of the order of evaluation, do not withstand close scrutiny. We propose instead a definition based on parameter-passing independence.
It's damn hard to give useful definition of referential transparency. This paper tries to eliminate the need for this by giving a different perspective on purity.
Posted to functional by Ehud Lamm on 1/19/04; 3:08:13 AM