On Monday, 27 November 2017 at 05:47:49 UTC, Dmitry Olshansky
wrote:
likely via RAII. Not to mention cheap (thread-local) Ref
Counting, C++ and many other language have to use atomics which
makes RC costly.
No, you dont. Nobody in their right mind would do so in C++ as a
general solution. Seems there is trend in doing D-advocacy based
on the assumption that programmers using other languages are
crazy these days.
In C++ sync is manual, which is the only efficient way to do it.
Proving correctness for an efficient general solution is an
unsolved theoretical problem. You can do it for high level
mechanisms, but not low level atm.
Rust and Pony claims to have solutions, but they are not general.
D most certainly does not have it and never will.
When threading is a libray type then you cannot achieve more in D
than you can achieve in C++, i.e. Shared is not going to do more
than a C++ library type with a separate static analysis tool.
