Learn Community Ecosystem Roadmap

Whats new?

Browse and host code on Unison Share

Welcome

Welcome
Quickstart
The big idea
Unison at a glance
Tour
Exercises

Fundamentals

- Values and Functions
- Control Flow
- Data types
- - Unique and structural types
  - Record types
- Abilities

Usage Topics

Editor setup
Documentation
Testing
Updating a dependency
Resolving conflicts
Running a program
FAQ's
Bibliography

Unison Codebase Manager

Configuring your codebase
UCM command reference
Transcripts
Using the local codebase UI
Codebase organization
Code hosting with Unison Share

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

🚧 🏗 Placeholder Abilities for the monadically inclined 🚧

This section is under construction. We're hard at work completing it!

© 2023

Unison Computing, a public benefit corp

and contributors.