dsimcha wrote:
Will pure eventually be expanded to deal with more cases where the referential transparency and inherent thread-safety of a function is obvious to humans, like these, or is this simply asking too much?
If it can be proven (and it can in your example) it can be pure.
