John Regehr on "Use of Assertions"
Walter Bright
newshound2 at digitalmars.com
Wed Sep 5 08:33:46 UTC 2018
On 9/2/2018 2:12 PM, Nick Sabalausky (Abscissa) wrote:
> On 09/01/2018 04:15 PM, Walter Bright wrote:
>> https://blog.regehr.org/archives/1091
>>
>
> This does make me think of one thing: Shouldn't assert expressions be required
> to be pure? (even if only weakly pure)
>
> Not sure how much practical problems that would create, but at least in theory
> it certainly sounds like the right thing.
It's come up before. The trouble comes when the code doing the evaluation has
side effects which are benign to the function being compiled, and these can be
useful. For example, it could read a mutable global variable.
More information about the Digitalmars-d
mailing list