On Wednesday, 7 October 2015 at 15:42:57 UTC, Ola Fosheim Grøstad
wrote:
On Wednesday, 7 October 2015 at 13:15:11 UTC, Paulo Pinto wrote:
In general, I advocate any form of automatic memory/resource
management. With substructural type systems now being my
favorite, but they still have an uphill battle for adoption.
Are you thinking about Rust, or some other language?
All of the ones that explore this area. Rust, ATS, Idris, F*....
Also as a note, Microsoft will be discussing their proposed
C++ solution with the Rust team.
Are you thinking about more lintish tools that can give false
positives, or something with guarantees that can be a language
feature?
What Herb Sutter demoed at CppCon as compiler validation to
CoreC++.
I can imagine that depending on how well the community takes
those guidelines, they might become part of C++20.
On the other hand, on Herb's talk around 1% of the audience
acknowledged the use of static analysers. Pretty much in sync
what I see in enterprise developers.