---
key: pl/unison
kind: plang
name: "Unison"
url: https://plangs.page/unison
---

# Unison

> Statically-typed, functional language treating code as data for efficient distributed programming.

Modern, statically-typed, purely functional programming language that simplifies distributed programming by treating code as data. It eliminates encoders and decoders at network boundaries, refactoring complexities, and dependency conflicts by using a content-addressed approach where code is identified by its hash. Unison allows storing code directly in a database, making distributed systems and refactoring workflows more efficient and reliable.

## Facts

- Appeared: 2023
- Homepage: https://www.unison-lang.org/
- GitHub: https://github.com/unisonweb/unison

## Relationships

### Paradigms

- [Declarative](https://plangs.page/paradigm/declarative)
- [Distributed](https://plangs.page/paradigm/distributed)
- [Functional](https://plangs.page/paradigm/functional)

### Platforms

- [Cross-Platform](https://plangs.page/platform/cross)

### Type Systems

- [Algebraic Data Types](https://plangs.page/type-system/algebraic)
- [Static](https://plangs.page/type-system/static)
- [Strong](https://plangs.page/type-system/strong)

### Written With

- [Haskell](https://plangs.page/haskell)

### Licenses

- [Apache 2.0](https://plangs.page/license/apache)

### Tags

- [CLI](https://plangs.page/tag/cli)