Unison
Unison is a friendly programming language from the future: statically-typed, functional, and a lot of fun. 😄 Each Unison definition is identified by a hash of its syntax tree. Put another way, Unison code is content addressed
Master Unison with
Interactive Learning
Elevate your Unison skills through 56 curated exercises across 2 core concepts. Master problem-solving with a structured learning path designed for modern developers.
About Unison
Unison is a statically typed, functional, and fun programming language which aims to change how programmers interact with their code.
Unison is different. 💖
Unlike many programming languages, your Unison codebase is not stored as a mutable set of text files. Instead, each Unison definition is identified by a hash of its syntax tree. Put another way, Unison code is content-addressed.
This change has far-reaching consequences. It simplifies distributed programming, eliminates builds and dependency conflicts, supports structured refactoring, and enables better tools when working with code.
You can read more about the big idea behind the Unison programming language or take a look at a brief language tour for additional information.
Key Features of Unison
Content addressed
A Unison definition is identified by a hash of its syntax tree. Your code is not just mutable text.
Immutable
A Unison codebase is stored in an immutable, append only database.
Functional
Unison is a statically typed, general purpose functional programming language.
Distributed systems
Describe entire distributed systems in one program. Easily communicate across network boundaries.
Type safe
Capture effectful computations in Unison's type system with algebraic effects
Delightful
Programming should be joyful. Our tooling and community is here to help.
Content addressed
A Unison definition is identified by a hash of its syntax tree. Your code is not just mutable text.
Immutable
A Unison codebase is stored in an immutable, append only database.
Functional
Unison is a statically typed, general purpose functional programming language.
Distributed systems
Describe entire distributed systems in one program. Easily communicate across network boundaries.
Type safe
Capture effectful computations in Unison's type system with algebraic effects
Delightful
Programming should be joyful. Our tooling and community is here to help.
