On Tue, 09 Apr 2013 16:15:40 +0200, Dicebot <[email protected]> wrote:
On Tuesday, 9 April 2013 at 14:06:31 UTC, Pelle Månsson wrote:shouldn't be strongly pure (as it can access mutable non local state).I was under impression that pure is about verifying what function actually does, not what it probably can.
It's based purely on function signature, so we're dealing with possibles in many cases. -- Simen
