Annotation: soups2021-fulton.pdf (usenix.

org)
1. Traits and structures are used to encode objects. Furthermore, supported by
Rust are modules, generics, and an advanced macro system. Rust variables are
immutable by default; unless they are marked as mutable explicitly, a variable
cannot have a value tied to it. As will be briefly discussed, immutability
facilitates safe code composition and works well with ownership. Local type
inference is another feature that Rust has: types on local variables may
typically be inferred from their initializer and are optional.

2. One of the main advantages that participants highlighted is that developers may
be reasonably certain that Rust code is safe and correct once it compiles. Four of
those who were interviewed stated that they debug less in Rust than in other
languages; this was corroborated by a survey that found 89% of respondents to
agree, either mildly or strongly, that they debug less compiled Rust code than
code written in a language they are comfortable with. Additionally, interviewees
stated that they are more certain that their production code is bug 7 thanks to
604 Seventeenth Symposium on Usable Privacy and Security USENIX Association
Rust. Rust free adoption throughout the organization.