D enters Tiobe top 20

Walter Bright newshound2 at digitalmars.com
Sat Nov 9 23:23:22 UTC 2019

On 11/9/2019 4:23 AM, Timon Gehr wrote:
> You need in and out contracts for modular verification.

You can pick up both from looking at the assert's in the prolog and epilog of 
the function.

More importantly, nobody is working on a modular verification system for D, and 
haven't for 20 years, so the contracts aren't particularly useful.

More information about the Digitalmars-d mailing list