On 12/21/2016 03:10 PM, Johan Engelen wrote:
On Wednesday, 21 December 2016 at 20:04:04 UTC, Johan Engelen wrote:"Any `pure` function that is not strongly pure _may not be assumed to be_ memoizable."That version of mine is also not correct :( How about: "A strongly pure function can be assumed to be memoizable. For a not strongly pure function, well, `pure` does not add information regarding memoizability."
OK save for the colloquial "well". -- Andrei
