D enters Tiobe top 20

Walter Bright newshound2 at digitalmars.com
Tue Nov 12 11:35:52 UTC 2019

On 11/12/2019 2:51 AM, Timon Gehr wrote:
>> If in{} and out{} contracts ever disappeared from the language, I think an 
>> external solver would need something like assume()/require() to distinguish 
>> preconditions from normal assertions.
>> ...
> Yes, this was exactly my point.

The precondition would just be the sequence of assert()s before any other code, 
and the postcondition is the sequence that appears after any other code. It's 
not a challenge to pull that out of the AST.

More information about the Digitalmars-d mailing list