John Regehr on "Use of Assertions"

[Neia Neutuladh]

On Monday, 10 September 2018 at 19:44:22 UTC, H. S. Teoh wrote:
> It's high time we distinguished between the various flavors of 
> assert, preferably with new words to avoid the baggage that has 
> accumulated around 'assert'.

Perhaps we can take some cues from Vigil, the eternally morally 
vigilant programming language, and use 'implore' for 
preconditions (aborts on new strict mode, throws by default) and 
'swear' for other contracts?