D enters Tiobe top 20

[Ola Fosheim Grøstad]

On Saturday, 9 November 2019 at 02:18:41 UTC, rikki cattermole 
wrote:
> Sounds like some universities need to be contacted, perhaps a 
> future PHD student would be interested in doing the theory.

Not sure what theory that would be. The basic idea is well known 
and pretty straight forward:

1. Try to prove that the assert holds by feeding the function 
into an external prover.
2. If it fails, retain the assert in the code or omit it.
3. If it succeeds, replace the assert with an «assume(…)» 
statement.
4. Compile.

You can do this today if you want to.

The challenge is to make sure that the optimizer will make good 
use of it.