---
key: tsys/affine
kind: typeSystem
name: "Affine"
url: https://plangs.page/type-system/affine
---

# Affine

Enforces that variables are used at most once, allowing for optimizations such as memory reuse.

## Facts

- Homepage: https://en.wikipedia.org/wiki/Affine_type_system

## Relationships

### Plangs

- [Mojo](https://plangs.page/mojo)
- [Rust](https://plangs.page/rust)