ConceptLinear Types
Linear Types
A type system that requires values to be used exactly once, commonly used for resource management and for guaranteeing the correctness of message-passing protocols.
Timeline (last 90 days)
Oct 12
Linear types require that a value be used exactly once, while affine types allow zero or one use.
Unverified50%
Oct 12
Using Rust's ownership and lifetimes, protocol constraints such as messages must be consumed can be encoded into the type system, thereby eliminating message loss at compile time.
Unverified50%
All Facts (2)
Unverified
Linear types require that a value be used exactly once, while affine types allow zero or one use.
50%UnverifiedUsing Rust's ownership and lifetimes, protocol constraints such as messages must be consumed can be encoded into the type system, thereby eliminating message loss at compile time.
50%