Según la entrada de wikipedia paraefecto secundario, plantear una excepción constituye un efecto secundario. Considera esta simple función de python:

def foo(arg):
    if not arg:
        raise ValueError('arg cannot be None')
    else:
        return 10

Invocando confoo(None) Siempre se encontrará con una excepción. Misma entrada, misma salida. Es referencialmente transparente. ¿Por qué esta no es una función pura?