// , โIt is not so important to be serious as it is to be serious about the important things. The monkey wears an expression of seriousness... but the monkey is serious because he itches."(No/No)
Actually, according to Willard Quine[1], "a mode of containment ฯ is referentially transparent if, whenever an occurrence of a singular term t is purely referential in a term or sentence ฯ(t), it is purely referential also in the containing term or sentence ฯ(ฯ(t))," as in the following example:
(12) Ralph believes that the man in the brown hat is a spy.
(13) Ralph does not believe that the man seen at the beach is a spy.
The main in the blue hat = the man seen at the beach = Bernie Sanders
t = โthe man in the blue hatโ
ฯ(t) = โthe man in the blue hat is a spyโ
ฯ(ฯ(t)) = โRalph believes that the man in the blue hat is a spyโ.
I need to get more practice drawing lil tridents on whiteboards.
[1]Although ultimately, like many obtuse concepts in CS, we can safely blame Whitehead and Bertram.
Hmm, well I was talking about referential transparency as it relates to functional programming, as opposed to logic, I guess. I hadn't seen that definition before, it's pretty interesting.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Actually, according to Willard Quine[1], "a mode of containment ฯ is referentially transparent if, whenever an occurrence of a singular term t is purely referential in a term or sentence ฯ(t), it is purely referential also in the containing term or sentence ฯ(ฯ(t))," as in the following example:
I need to get more practice drawing lil tridents on whiteboards.
[1]Although ultimately, like many obtuse concepts in CS, we can safely blame Whitehead and Bertram.
Hmm, well I was talking about referential transparency as it relates to functional programming, as opposed to logic, I guess. I hadn't seen that definition before, it's pretty interesting.