A way to declare (or ideally automatically identify) functions that do not mutate global state and return a value created from inside the function. Yes, I thin

A way to declare (or ideally automatically identify) functions that do not mutate global state and return a value created from inside the function. Yes, I think that’s exactly the right idea.