That's not really true. Op is programming in erlang, which has never in it's history been pure functional, and specifically picked the functional paradigm for

That's not really true. Op is programming in erlang, which has never in it's history been pure functional, and specifically picked the functional paradigm for pragmatic reasons (function-internal immutability and limited global state gives the programmer guardrails), not for pure mathematical reasons.