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

Usage Topics

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

Unison Codebase Manager

- 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

Type variables

Type variables are regular identifiers beginning with a lowercase letter. For example a, x0, and foo are valid type variables.

© 2024

Unison Computing, a public benefit corp

and contributors.