D enters Tiobe top 20

Doc Andrew x at x.com
Sat Nov 9 02:55:37 UTC 2019


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.

It could be done in baby steps, too - maybe start with a tool 
that just shows no bad behavior occurs in a simple expression. 
Then show the same for entire @pure functions. From there someone 
could work up to proving that pre/post-conditions in @pure 
functions are satisfied. Then maybe go on to do invariants, then 
work up to @safe @nogc code, and so on.

-Doc


More information about the Digitalmars-d mailing list