Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

13
  • 3
    Abbreviation does not mean provide a definition. Where I wrote "RT is often abbreviated 'no side-effects'", that doesn't mean the definition of RT is "no side-effects", because people may have varying definitions for 'effects'. If I instead said "RT is often abbreviated 'xyz'", a meaningless symbol doesn't give any definition to RT. RT has a precise definition that never changes, no matter what symbol one uses to refer to it. Commented Dec 8, 2011 at 13:12
  • 1
    Equating C in ESP style with RT in State monad, is invalid, because each C statement may mutate global state, whereas "inside" the state monad each corresponding statement generates a COPY of the state (so modified). The latter is RT-- former is not. Monadic composition is always RT. DP == RT is the only meaning for DP that is a disjoint set of attributes (the math proof I'm correct, else DP is meaningless). Commented Dec 8, 2011 at 16:07
  • 1
    Some people have stated that SQL is a declarative language. If that is the case, doesn't SQL not have RT, since it can modify state (tables in a database)? Calling the same SQL query at the beginning and end of a program will produce different results. Commented Jun 17, 2014 at 18:00
  • 1
    I wish I could understand this past the first sentence. I was reading the manual for DAX which indicated it was a 'functional language'. What does this mean? I don't know go ask your pop. Commented May 4, 2016 at 5:14
  • 1
    The definition of referential transparency that you quoted is not sourced and does not match the definition in the literature; see Uday Reddy’s answer for the correct definition. Commented Jul 15, 2021 at 7:49