and a "pure" function doesn't necessarily have to ...

# language-proposals

[kevinmost]

and a "pure" function doesn't necessarily have to be unable to access vars from the closure, either. At least in D, for example, they've implemented "pure" as a keyword that lets you still read immutable state: https://dlang.org/spec/function.html#pure-functions