D enters Tiobe top 20

Ola Fosheim Grøstad ola.fosheim.grostad at gmail.com
Sat Nov 9 09:50:54 UTC 2019

On Saturday, 9 November 2019 at 02:18:41 UTC, rikki cattermole 
> 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(…)» 
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.

More information about the Digitalmars-d mailing list