Talk:Referential transparency
|
|
There should be some more detailed discussion of the possible benefits of referential transparency. For example, call-by-need is difficult to implement without it, as are many optimizations, such as memoization, and other code changes and refactorings.
Also, the use of the word 'enforced' seems strange to me. Perhaps 'guaranteed' would be better?