In analytic philosophy and computer science, referential transparency and referential opacity are properties of linguistic constructions, and by extension...

is a necessary, but not sufficient, condition for referential transparency. Referential transparency means that an expression (such as a function call)...

transparency, independence of location Order-independent transparency in 3D computer graphics Referential transparency Security through transparency,...

constant with respect to that argument list (sometimes called referential transparency or idempotence), i.e., calling the pure function again with the...

functional programming (in which it is connected to the property of referential transparency). The term was introduced by American mathematician Benjamin Peirce...

sentence, has referential transparency: it is either referentially transparent or referentially opaque. A construction is referentially transparent if...

variables, mutable reference arguments or input streams, i.e., referential transparency), and the function has no side effects (no mutation of local static...

improve the efficiency of functional languages while maintaining referential transparency. Unique types can also be used to integrate functional and imperative...

return value. This style handles state changes without losing the referential transparency of the program expressions. Purely functional programming consists...

Circle–ellipse problem Composition over inheritance Program refinement Referential transparency Type signature SOLID – the "L" in "SOLID" stands for Liskov substitution...

identifiers and prevents accidental capture. This property is called referential transparency. In cases where capture is desired, some systems allow the programmer...

definiteness, substitutivity of identity, unfoldability, and referential transparency. "Some Basic QUESTIONS". velocity reviews. Retrieved 2011-06-17...

mutable state Functionality doctrine, in intellectual property law Referential transparency This disambiguation page lists articles associated with the title...

Inscrutability of reference Masked-man fallacy Pure functions Referential transparency Transitivity of identity "Definition of "opaque context" | Collins...

local manner, or usage of a pure functional programming style with referential transparency. The term is based on the concept of action at a distance in physics...

expression with side effects does not normally have the property of referential transparency. In many languages (e.g. C++), expressions may be ended with a...

might imply changes of non-local state. The purpose is to enforce referential transparency, i.e. functions that do not depend on the state of some variable(s)...

value during their entire lifetime due to the requirements of referential transparency. In imperative languages, the same behavior is exhibited by (named)...

considered unequal. Referential equality implies intensional and extensional equality. Referential equality breaks referential transparency and is therefore...

"L-value", "ad hoc polymorphism", "parametric polymorphism", and "referential transparency". The lecture notes were reprinted in 2000 in a special issue of...

and users not to worry about inadvertent variable capture (cf. referential transparency). Hygienic macros have been standardized for Scheme in the R5RS...

Processing model Opaque context — another problem for compositionality Referential transparency — in programming languages Semantic decomposition (natural language...

language, it combines a declarative (non-procedural) structure for referential transparency, array abstraction, and automatic dependency maintenance for efficient...

mutable data Lambda calculus, compositionality, formula, recursion, referential transparency, no side effects Declarative C++, C#,[circular reference] Clojure...

from a fundamental property of pure functional languages, termed referential transparency: the value of a computed result does not depend on the order or...

global variables as parameters then swap() would not be reentrant Referential transparency Kerrisk 2010, p. 657. Ralston 2000, p. 1514–1515....

reference, ontological relativity, gavagai), radical translation, referential transparency, naturalized epistemology, meta-ontology, ontological/ideological...

programming Lambda programming Static scoping Higher-order function Referential transparency Currying Lambda abstraction Church–Rosser theorem Extensionality...

properties and syntax with a younger sibling language, Haskell: referential transparency, list comprehension, guards, garbage collection, higher order functions...

operating systems. Imperative procedures with side effects violate referential transparency and therefore are not cleanly composable. However if one considers...