Guide: articulate the advantages of ownership over garbage collection. #18176
Conversation
src/doc/guide.md
Outdated
There was a problem hiding this comment.
can we make this 'which is called', please?
|
Thank you! Just one or two little nits. |
Explain the primary disadvantage of garbage collection is runtime overhead and unpredictable pauses. Elucidate where the name "race condition" comes from. Emphasize that Rust can guarantee your code is free of race conditions and other memory errors, with no runtime overhead.
jkleint
force-pushed
the
guide-borrow-wording
branch
from
4f07eff to
f0b7065
Compare
|
Good point! Here you go. |
|
I am on mobile so this will get screwed up, r=me |
Explain the primary disadvantage of garbage collection is runtime overhead and unpredictable pauses. Elucidate where the name "race condition" comes from. Emphasize that Rust can guarantee your code is free of race conditions and other memory errors, with no runtime overhead. cc @steveklabnik
There was a problem hiding this comment.
I don't think this is correct (cc @nikomatsakis).
"Lifetime errors" come from regionck, which infers appropriate lifetimes and enforces their coherence.
The borrowck produces, well, borrow errors.
There was a problem hiding this comment.
I don't think it is particularly important to be too pedantic about the internal compiler passes, but maybe this sentence could be rephrased to just "it will report an error and your program will refuse to compile".
There was a problem hiding this comment.
Well, they are two different compiler passes because they have different jobs, and produce different errors.
Calling borrow errors "lifetime errors" is plain wrong, AFAIK they don't even mention lifetimes, the only conceptual link is that borrows are determined by lifetimes.
And it propagates the misconception that the borrow checker assigns lifetimes or gives errors about them - does not help explaining errors or tracking them down at all.
There was a problem hiding this comment.
I don't think it is particularly important to be too pedantic about the internal compiler passes, but maybe this sentence could be rephrased to just "it will report an error and your program will refuse to compile".
Agreed.
…nikomatsakis see #18176 (comment) /cc @eddyb @huonw @nikomatsakis
7 participants
Explain the primary disadvantage of garbage collection is runtime
overhead and unpredictable pauses. Elucidate where the name "race
condition" comes from. Emphasize that Rust can guarantee your code is
free of race conditions and other memory errors, with no runtime
overhead.
cc @steveklabnik