Andrei's list of barriers to D adoption

Timon Gehr via Digitalmars-d digitalmars-d at puremagic.com
Tue Jun 7 15:53:11 PDT 2016


On 08.06.2016 00:47, Walter Bright wrote:
> On 6/7/2016 3:23 PM, Timon Gehr wrote:
>> Obviously they proved the virtual machine itself memory safe,
>
> As I recall, the proof was broken, not the implementation.

Which time?

> People do
> make mistakes and overlook cases with proofs. There's nothing magical
> about them.
>

Obviously, but there are reliable systems that check proofs automatically.


More information about the Digitalmars-d mailing list