Live data from Hacker News

A half-hour to learn Rust

fasterthanli.me

341–342 of 342 posts

Re: A half-hour to learn Rust

#341

Earlier quoted context omitted.

Per Wikipedia: > In computer science, a memory leak is a type of resource leak that occurs when a computer program incorrectly manages memory allocations in a way that memory which is no longer needed is not released. In most of your scenarios, e.g. "pushed to some queue", the object in question is still needed. Hence, this is not a leak. Presumably, the entry will eventually be removed from the queue, and GC will th…

Are there any languages that provides memory leak safety, so that the compiled binary is guaranteed to be memory leak free?

What does memory leak free mean? It has a semantic meaning.

If I have a queue with elements and I won’t be accessing some of it in the next part of the program, is it a leak? Also, remember that certain GCd languages intern strings, is it a memory leak since it will not necessarily use it anymore?

Re: A half-hour to learn Rust

#342
post #341

Earlier quoted context omitted.

Are there any languages that provides memory leak safety, so that the compiled binary is guaranteed to be memory leak free?

What does memory leak free mean? It has a semantic meaning. If I have a queue with elements and I won’t be accessing some of it in the next part of the program, is it a leak? Also, remember that certain GCd languages intern strings, is it a memory leak since it will not necessarily use it anymore?

Well, you would need a way to "tell" the compiler more about your intentions and maybe even explicitly declare rules for what you consider a memory leak in certain scenarios.

To provide an example for a different case: programs written in Gallina have the weak normalization property, implying that they always terminate.

Post reply on HN