D enters Tiobe top 20

Doc Andrew x at x.com
Fri Nov 8 18:00:39 UTC 2019

On Friday, 8 November 2019 at 17:41:06 UTC, Ola Fosheim Grøstad 
>> 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.

More information about the Digitalmars-d mailing list