Purity vs Referential transparency

by

If I gather in one place any three theorists of my acquaintance, at least two of them disagree on the meaning of the term “referential transparency.” And when I was a young student, a mentor of mine gave me a paper explaining that even if you consider only the professional literature, the phrase “referentially transparent” is used to mean at least three different things. (Unfortunately that paper is somewhere in a box of reprints that have yet to be scanned. I searched Google Scholar for it but I had no success.)

I cannot inform you, but I can advise you to give up: Because even the tiny cadre of pointy-headed language theorists can’t agree on what it means, the term “referentially transparent” is not useful. So don’t use it.

P.S. On any topic to do with the semantics of programming languages, Wikipedia is unreliable. I have given up trying to fix it; the Wikipedian process seems to regard change and popular voting over stability and accuracy.

More Related Contents:

  1. What is a magic number, and why is it bad? [closed]
  2. Why should hash functions use a prime number modulus?
  3. Prefer composition over inheritance?
  4. What is the difference between currying and partial application?
  5. Singletons: good design or a crutch? [closed]
  6. What is Type-safe?
  7. Solving “Who owns the Zebra” programmatically?
  8. Try to describe polymorphism as easy as you can [closed]
  9. Pass by reference or pass by value? [closed]
  10. How do I assess the hash collision probability?
  11. Making a system call that returns the stdout output as a string
  12. Acronyms in CamelCase [closed]
  13. When is it okay to check if a file exists?
  14. What is the best way to replace or substitute if..else if..else trees in programs?
  15. What is eager loading?
  16. Shortest distance between two line segments
  17. What is the difference between IF-ELSE and SWITCH?
  18. Why is writing a closed TCP socket worse than reading one?
  19. How to deal with constructor over-injection in .NET
  20. How to calculate distance from a point to a line segment, on a sphere?
  21. Generate colors between red and green for a power meter?
  22. Followup: Finding an accurate “distance” between colors
  23. What’s the term for the part of the URL after the question mark?
  24. Hash Code and Checksum – what’s the difference?
  25. Is bit shifting O(1) or O(n)?
  26. When should a method be static?
  27. Finding closest match in collection of numbers [closed]
  28. Why are leading zeroes used to represent octal numbers?
  29. What is differential execution?
  30. Sampling sequences of random numbers in Haskell

Leave a Comment