D enters Tiobe top 20

[Jacob Carlborg]

On Monday, 11 November 2019 at 10:39:24 UTC, Walter Bright wrote:

> I just haven't found them particularly useful or helpful when 
> I've tried them.

There are two problems with contracts in D.

1. In-contracts are executed by the callee instead of the caller. 
Currently there's only a syntactic difference between an 
in-contract and a regular assertion inside the function body.

2. Phobos is not shipped with assertions enabled. There should be 
a debug version of Phobos shipped with DMD with assertions 
enabled. Perhaps that could be linked by default when the 
`-debug` flag is used.

Related issues:

https://issues.dlang.org/show_bug.cgi?id=6549
https://issues.dlang.org/show_bug.cgi?id=12344
https://issues.dlang.org/show_bug.cgi?id=19131

--
/Jacob Carlborg