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