D enters Tiobe top 20

[Doc Andrew]

On Friday, 8 November 2019 at 17:41:06 UTC, Ola Fosheim Grøstad 
wrote:
>
>> Your point is well taken, but I do hope that we can get proven 
>> correctness of bare-metal code without having to write 
>> something like Liquid Haskell ;)
>
> Liquid Haskell looks interesting, though.  You might find this 
> interesting:
>
> http://leino.science/dafny-power-user/
>
> It gives some hints of where such languages might go.

Thanks for the link! I've looked briefly at Dafny in the past and 
liked what I saw. Between Dafny, F* and the Lean prover, MS 
research is doing some pretty neat work in the field.