What are non-pure functions in Python?

Question

As a definition, I learnt that,

non-pure functions have some input (their arguments) and return some output (the result of applying them) [...] and in addition [...] can also generate side effects, which make some change to the state of interpreter or computer.

(Paraphrased from Building Abstractions with Functions (PDF).)

For example: the print(2) function returns nothing (None) in addition as a side effect print function (not Python interpreter) itself prints the value.

In the above definition, I did not understand the meaning of 'changing the state of interpreter or computer'. What does that mean?

this definition has been taken from http://www-inst.eecs.berkeley.edu/~cs61a/sp12/book/functions.pdf — overexchange, Mar 29 '14 at 15:48

Martijn Pieters · Accepted Answer · 2018-05-15T17:25:45.207

19

Any function that affects any state other than that of local variables is a non-pure function.

Changing a global is non-pure, for example:

some_list = []

def foo(bar):
    some_list.append(bar)

foo('baz')

The function foo changed the state of some_list; it is thus non-pure. A pure version would be:

def foo(bar, lst):
    return lst + [bar]

some_list = []
now_list = foo('baz', some_list)

Here foo only affects state by taking the input arguments and producing an output value. The original some_list object was not mutated either, a new object was returned instead.

Pure functions also must produce outputs that depend only on the inputs; a function that produces input based on external state is not pure either. time.time() is not pure, it returns a value based on the state of a clock, which was not an input to the function.

edited May 15 '18 at 17:25

answered Mar 29 '14 at 15:49

Martijn Pieters

1,048,767
296
4,058
3,343

kind of imperative programming? – overexchange Mar 29 '14 at 15:50
it should also always map same arguments to the same results; for example `time.time()` is impure, even though it does not change any state – behzad.nouri Mar 29 '14 at 15:55
Can we call this non-pure function as imperative programming? – overexchange Mar 29 '14 at 15:57
@Sham: Not necessarily. Imperative programming is non-pure, but that doesn't mean that all non-pure code is imperative. – Martijn Pieters Mar 29 '14 at 15:59
1

@Sham: The core of SQL is not imperative, it is, at its heart, a declarative language, but you wouldn't say it is pure, because you are mutating state. – Martijn Pieters Mar 29 '14 at 16:06

score 5 · Answer 2 · edited Jun 01 '20 at 17:42

5

We call a function pure if it satisfies two important extra properties:

Behaviour that is only influence by input.
- Most usually fails if the function code relies on a variable in the main namespace that was not passed in as an argument (making it local).
Influence on the rest of the program should only be via its output (return value).

edited Jun 01 '20 at 17:42

wjandrea

28,235
9
60
81

answered Jan 13 '19 at 17:22

user10908639

51
1
1

What are non-pure functions in Python?

2 Answers2

Linked