"Competitive Advantage with D" is one of the keynotes at C++Now 2017
Timon Gehr via Digitalmars-d-announce
digitalmars-d-announce at puremagic.com
Mon Apr 24 08:17:18 PDT 2017
On 24.04.2017 13:33, Ola Fosheim Grøstad wrote:
> On Monday, 24 April 2017 at 06:37:40 UTC, Walter Bright wrote:
>> The trouble is, one cannot look at a piece of code and tell if it
>> follows the rules or not.
>>
>> I.e. it's not about it being possible to write memory safe code in C
>> or C++ (it is), it's about verifying an arbitrary piece of code as
>> being memory safe.
>
> I don't think D and Rust fare any better than modern C++ as far as
> ARBITRARY code goes. Swift and Java does...
Swift allows raw pointer manipulation. Java implementations expose
similar unsafe features. JVMs have bugs. Also, Java's type system is
unsound.
More information about the Digitalmars-d-announce
mailing list