As you may know, the term “referentially transparent” means that the meaning of an expression can depend only on the meanings of its parts, and not on any other facts about them.
For example, it cannot depend on the following:
- Whether some part of the expression is determined or not (in lazy language)
- Are two equal values available (pointers to the same place in memory) or not
- (.. )
, , . , .
- reddit .