On Tuesday, 10 November 2015 at 19:25:32 UTC, Ola Fosheim Grøstad
wrote:
On Tuesday, 10 November 2015 at 17:32:15 UTC, Marc Schütz wrote:
[...]
I agree that there are many interesting aspects to these type
systems. IIRC Pony-lang also guarantee deadlock-free execution.
Go 1.6 is going to get a dedicated SSA optimizer and also a
memory sanitizer like C/C++, which might bring Go closer to C.
But C is really all about having full control over memory
layout and execution, it interfaces with just about any
conceivable language and compiles to an insane amount of
hardware. None of these other languages have that focus. Rust,
Go and D are more like high level languages primarily for PCs.
Although Rust is perhaps closest to C by having a lightweight
runtime.
All C/C++ sanitizers are available to D, FYI. You can use them
from LDC and probably GDC.
Yet another reason for abandoning dmd, you get massive benefits
like this for free.