Impure Functions in Pure Expressions
The definitions above still allow some laxity with regard to purity. It is possible for a pure expression to yield an impure function (or more generally a value which contains one or more impure functions).
It is also possible for an expression to be pure even if one or more of the argument subexpressions yields an impure function (or a value which contains one or more impure functions). In this case the impure function(s) in the argument must not be applied during evaluation (but may be incorporated in the result somehow). However, dealing with programs that allow impure and pure functions to be mixed like this can be quite difficult in practice, thus purely functional programming languages do not allow impure functions to be defined. Effect systems, among other things, allow one to reason precisely and formally about the purity of certain expressions even in the presence of higher-order functions etc.; they even allow to prove that a certain function does not have any side effects although it uses impure operations (for example, uses a mutable array for computation internally, but does not expose it to the outer world or maintain its state between invocations).
Read more about this topic: Pure Function
Famous quotes containing the words impure, functions, pure and/or expressions:
“The authority of government, even such as I am willing to submit to,—for I will cheerfully obey those who know and can do better than I, and in many things even those who neither know nor can do so well,—is still an impure one: to be strictly just, it must have the sanction and consent of the governed. It can have no pure right over my person and property but what I concede to it.”
—Henry David Thoreau (1817–1862)
“Nobody is so constituted as to be able to live everywhere and anywhere; and he who has great duties to perform, which lay claim to all his strength, has, in this respect, a very limited choice. The influence of climate upon the bodily functions ... extends so far, that a blunder in the choice of locality and climate is able not only to alienate a man from his actual duty, but also to withhold it from him altogether, so that he never even comes face to face with it.”
—Friedrich Nietzsche (1844–1900)
“If an opinion can eventually go to the determination of a practical belief, it, in so far, becomes itself a practical belief; and every proposition that is not pure metaphysical jargon and chatter must have some possible bearing upon practice.”
—Charles Sanders Peirce (1839–1914)
“Our books are false by being fragmentary: their sentences are bon mots, and not parts of natural discourse; childish expressions of surprise or pleasure in nature; or, worse, owing a brief notoriety to their petulance, or aversion from the order of nature,—being some curiosity or oddity, designedly not in harmony with nature, and purposely framed to excite surprise, as jugglers do by concealing their means.”
—Ralph Waldo Emerson (1803–1882)