Enforcing di effetti collaterali in python

Question

Esiste uno strumento che consente di annotare funzioni/metodi come "puro" e quindi analizza il codice per verificare se tali funzioni/metodi sono privi di effetti collaterali?

Answer 1

Nel mondo Python, la domanda non ha molto senso dal momento che gli oggetti hanno così tanto da dire in ciò che accade in una chiamata di funzione.

Ad esempio, come si può sapere se la seguente funzione è pura?

def f(x): 
    return x + 1 

La risposta dipende da ciò che x è:

>>> class A(int): 
     def __add__(self, other): 
      global s 
      s += 1 
      return int.__add__(self, other) 

>>> def f(x): 
     return x + 1 

>>> s = 0 
>>> f(A(1)) 
2 
>>> s 
1 

Anche se la funzione f sembra pura, l'operazione di aggiunta sul x ha l'effetto collaterale di incrementare s .