Docs Community Ecosystem Roadmap Cloud

Blog Newsletter

Get regular updates from the Unison team

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

Browse and host code on Unison Share

Managed cloud platform for Unison services and batch jobs

Welcome

Welcome
Quickstart
What problems does Unison solve
The big idea
Unison at a glance
A tour of Unison
Introducing Unison projects

Exercises

Language fundamentals

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

Usage Topics

Updating code and dependencies
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

move.type

.> move.type oldName newName

move.typeold newrenames an existing type

© 2024

Unison Computing, a public benefit corp

and contributors.