D enters Tiobe top 20

Mon Nov 11 11:29:45 UTC 2019

On Monday, 11 November 2019 at 10:39:24 UTC, Walter Bright wrote:
> The distinction between assert and assume has come up before, 
> and I've argued that in D they are the same.

assert:   if(failure) exit…
assume: if(failure) unreachable…

Can't be the same…

> I do understand the point of them. I've been enamored with 
> contracts for 20-30 years. I've done presentations promoting 
> them. I added them to my C++ compiler. I added them to D.
>
> I just haven't found them particularly useful or helpful when 
> I've tried them.

They are most useful when you try to learn complex third party 
libraries.