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

# Uniqueness

Enforces that certain values are used only once, allowing optimizations like in-place updates in functional programming.

## Facts

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

## Relationships

### Plangs

- [Clean](https://plangs.page/clean)
- [Futhark](https://plangs.page/futhark)