pure function can access global immutable state that wasn't passed toit, so you may want to revise your definition.Sure: s/accessing/altering, my mistake. -Steve
That is the whole point. See it as follow: GC.malloc create new state. As long as this new state doesn't escape the pure function, it is as if that state was local.