Unison

A new approach to

Distributed programming

No more writing encoders and decoders at every network boundary. Say where you want computations to run and it happens 🔮 — Dependencies are deployed on the fly.

Learn More

Refactoring

Your codebase is always live and typechecks, even in the middle of a refactoring. Unison has structured refactoring sessions, not a big misleading list of type errors.

Learn More

Durable storage

No more writing translation code between your values and the storage layer. Directly store values and unpersist them later without fear of dependency conflicts or version mismatches.

Learn More

Storing code

Other tools try to recover structure from text; Unison stores code in a database. This eliminates builds, provides for instant nonbreaking renames, type-based search, and lots more.

Learn More

Dependencies

Many dependency conflicts arise from definitions competing for the same names. Since Unison references code by hash instead of by name, an entire class of conflicts can be eliminated.

Learn More

Unison is a friendly programming language from the future: statically-typed, functional, and a lot of fun 😄

Download the latest release from GitHub

How does Unison code look?

💡 All parts of the code examples are interactive. Click a dependency to read its definition and docs.

👋 Hello World

The classic Hello World program in Unison is as simple as a call to printLine.

helloWorld : '{IO, Exception} ()

helloWorld : '{IO, Exception} ()
helloWorld _ = printLine "Hello World"

{IO, Exception} indicates which abilities the program needs to do I/O and throw exceptions.

'

is used to denote a delayed computation.

Learn more about Abilities.

Distributed map-reduce

With a few lines of code, you can perform a distributed map-reduce using the Remote ability.

distributed : Seq k Nat ->{Remote} Nat

distributed : Seq k Nat ->{Remote} Nat
distributed dseq =
  dseq
    |> Seq.map (x -> x + 1)
    |> Seq.filter (x -> mod x 7 == 0)
    |> Seq.reduce 0 (+)

Learn more about Remote and working with distributed datasets in Unison.

HTTP request

Perform effectful code, like HTTP requests with Abilities and Ability handlers.

Checkout more HTTP examples in the http library.

httpEx : '{IO, Exception} HttpResponse

httpEx : '{IO, Exception} HttpResponse
httpEx =
  do Http.run do Http.get (parseOrBug "https://www.unison-lang.org")

What's it like to write Unison code?

The Unison Codebase Manager (UCM) is by your side as you write, guiding you through the
development process; adding, updating, and running your programs.

Editor : ~/scratch.u

Terminal : UCM - Unison Codebase Manager

👋 Welcome to Unison!

.>