On 04/06/2013 08:43 PM, Henning Thielemann wrote:
Can someone enlighten me about the origin of the term "referential
transparency"? I can lookup the definition of "referential
transparency" in the functional programming sense in the Haskell Wiki
and I can lookup the meaning of "reference" and
Should probably include the Reddit convo ongoing as we speak (zomg, it's live!):
http://www.reddit.com/r/haskell/comments/1bsitm/lazy_io_breaks_equational_reasoning/
Not everyone here is a regular there.
-- Kim-Ee
On Sun, Apr 7, 2013 at 1:21 AM, Eli Frey wrote:
> Links
>
> SO:
> http://stacko
I have quite a detailed discussion of this concept, and related concepts,
in Section 2.8 of my PhD thesis (
https://www.cs.tcd.ie/Edsko.de.Vries/pub/MakingUniquenessTypingLessUnique-screen.pdf
).
-E
On Sat, Apr 6, 2013 at 7:13 PM, Kim-Ee Yeoh wrote:
> On Sun, Apr 7, 2013 at 12:43 AM, Henning T
Links
SO:
http://stackoverflow.com/questions/210835/what-is-referential-transparency
Reddit discussions of said SO question.
http://www.reddit.com/r/haskell/comments/x8rr6/uday_reddy_on_referential_transparency_and_fp/
http://www.reddit.com/r/haskell/comments/xgq27/uday_reddy_sharpens_up_refere
On Sun, Apr 7, 2013 at 12:43 AM, Henning Thielemann
wrote:
> Can someone enlighten me about the origin of the term "referential
> transparency"? I can lookup the definition of "referential transparency" in
> the functional programming sense in the Haskell Wiki and I can lookup the
> meaning of "re
* Henning Thielemann [2013-04-06 19:43:45+0200]
>
> Can someone enlighten me about the origin of the term "referential
> transparency"? I can lookup the definition of "referential
> transparency" in the functional programming sense in the Haskell Wiki
> and I can lookup the meaning of "reference"
Can someone enlighten me about the origin of the term "referential
transparency"? I can lookup the definition of "referential transparency"
in the functional programming sense in the Haskell Wiki and I can lookup
the meaning of "reference" and "transparency" in a dictionary, but I don't
know
