rust.md

Rust

• A half-hour to learn Rust

• Rust From the Ground Up

• Functional Ownership through Fractional Uniqueness

  • One strategy for managing memory in a functional setting is through uniqueness types, but these offer a coarse-grained view: either a value has exactly one reference, and can be mutated safely, or it cannot, since other references may exist

  • We combine fractional permissions with grading to give the first account of ownership and borrowing that smoothly integrates into a standard type system alongside linearity and graded types