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.