Docs Community Libraries Roadmap Cloud

Blog Newsletter

Get regular updates from the Unison team

We won't send you spam. Unsubscribe at any time.

Browse and host—public or private—libraries and projects on Unison Share

Managed cloud platform for Unison services and batch jobs

Welcome

Welcome
Quickstart
What problems does Unison solve
The big idea
Unison syntax at a glance
A tour of the Unison workflow

Exercises

Language fundamentals

- Values and functions
- Control flow
- Data types
- - Unique and structural types
  - Record types
- Abilities

Side-by-side guides

Unison for Scala devs
Unison for Python devs

Usage topics

Updating code and dependencies
Resetting codebase state
Running a program
Documentation
Testing
Transcripts
Docker
Structural find and replace
FAQ's
Bibliography

Unison codebase management

- Codebase organization
- Workspace setup

Language reference

Top-level declarations
- Term declarations
Ability declaration
- User-defined data types
- Expressions
- - Basic lexical forms
  - Identifiers
Name resolution and the environment
Blocks and statements
- Literals
- - Documentation literals
  - Escape sequences
Comments
Type annotations
Parenthesized expressions
- Function application
- - Syntactic precedence of operators and prefix function application
Boolean expressions
- Delayed computations
- - Syntactic precedence
Destructuring binds
- Match expressions and pattern matching
Hashes
- Types
- Abilities and ability handlers
Use clauses

Learning labs

- Wordle clone
- Unison Cloud modules

move.term

scratch/main> move.term oldName newName

move.term old new renames an existing term

© 2025

Unison Computing, a public benefit corp

and contributors.