On 5/15/14, 6:28 AM, Dicebot wrote:
This is not true. Because of such code you can't ever automatically memoize strongly pure function results by compiler. A very practical concern.
I think code that doesn't return pointers should be memoizable. Playing tricks with pointer comparisons would be appropriately penalized. -- Andrei