John Regehr on "Use of Assertions"

[Nick Sabalausky (Abscissa)]

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.