On 09/21/2010 10:47 PM, dsimcha wrote: > 2. If you mean that the parameters don't have to be const either, i.e. you can > freely mutate state on the heap, i.e. of a ref parameter, or stuff that's > reachable from a pointer or reference, then pure offers almost no useful guarantees. Equal effects for equal inputs? Andrei