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.

    • Re: "Compe... Ali Çehreli via Digitalmars-d-announce
      • Re: "C... Joseph Rushton Wakeling via Digitalmars-d-announce
  • Re: "Competitiv... Jonathan M Davis via Digitalmars-d-announce
  • Re: "Competitiv... Guillaume Piolat via Digitalmars-d-announce
    • Re: "Compe... Walter Bright via Digitalmars-d-announce
      • Re: "C... Guillaume Piolat via Digitalmars-d-announce
        • Re: &qu... Guillaume Piolat via Digitalmars-d-announce
          • Re:... Atila Neves via Digitalmars-d-announce
        • Re: &qu... Walter Bright via Digitalmars-d-announce
          • Re:... Ola Fosheim Grøstad via Digitalmars-d-announce
            • ... Timon Gehr via Digitalmars-d-announce
              • ... Ola Fosheim Grøstad via Digitalmars-d-announce
              • ... Nick Sabalausky (Abscissa) via Digitalmars-d-announce
              • ... Timon Gehr via Digitalmars-d-announce
  • Re: "Competitiv... XavierAP via Digitalmars-d-announce
    • Re: "Compe... Atila Neves via Digitalmars-d-announce
      • Re: "C... Nick Sabalausky (Abscissa) via Digitalmars-d-announce
        • Re: &qu... H. S. Teoh via Digitalmars-d-announce
        • Re: &qu... Ali Çehreli via Digitalmars-d-announce
          • Re:... Nick Sabalausky (Abscissa) via Digitalmars-d-announce
        • Re: &qu... Ola Fosheim Grostad via Digitalmars-d-announce

Reply via email to