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?
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?
