ConceptAffine Types

Affine Types

A type system that allows values to be used zero or one time. It underpins Rust's move semantics and is used to statically detect resource usage errors.

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%

All Facts (1)

Unverified

Linear types require that a value be used exactly once, while affine types allow zero or one use.

50%

Source Articles

Choreographic Programming in Rust: From Concurrency Hell to Protocol DSLOct 12