[layer8]

One of the reasons I was disappointed about Rust when it came out.

[lonjil]

But preventing memory leaks is actually impossible. Even with garbage collection, memory leaks are common.

[layer8]

It’s certainly possible with appropriate proof methods. My disappointment was specifically about non-memory resources, however.