A friendly programming language from the future
Go to file
Simon Højberg bf54fc40e2 Match UI release zip file of unisonLocal.zip
The Codebase UI changed its main artifact of ucm.zip to unisonLocal.zip,
make sure we build using the right artifcat.
2021-11-29 10:30:22 -05:00
.github Match UI release zip file of unisonLocal.zip 2021-11-29 10:30:22 -05:00
codebase2 Merge two set utils modules 2021-11-24 12:26:06 -05:00
contrib Adds unison-cli package to cabal.project 2021-11-07 20:23:10 -08:00
deps Bump to lts-15.13 2020-05-24 10:20:52 -04:00
docs Update release-steps.md 2021-10-05 12:52:23 -06:00
editor-support Quick start docs for vim support 2021-11-03 13:58:21 -07:00
lib Merge pull request #2657 from unisonweb/21-11-12-gist 2021-11-28 12:13:13 -05:00
parser-typechecker Merge pull request #2657 from unisonweb/21-11-12-gist 2021-11-28 12:13:13 -05:00
scripts Fix scripts/unisonloop.sh. 2019-10-01 20:36:01 +02:00
unison-cli Merge pull request #2657 from unisonweb/21-11-12-gist 2021-11-28 12:13:13 -05:00
unison-core Merge two set utils modules 2021-11-24 12:26:06 -05:00
unison-src Merge pull request #2657 from unisonweb/21-11-12-gist 2021-11-28 12:13:13 -05:00
yaks/easytest Add ORMOLU_DISABLE to every file. 2021-11-23 12:10:58 -06:00
.gitignore PR feedback 2021-11-12 12:49:09 -06:00
.mailmap Update Mat Ess 2021-06-07 14:26:39 -04:00
.mergify.yml Update mergify.yml for new build matrix 2021-05-28 09:19:40 -05:00
config added dev notes document, updated logging defaults 2016-10-06 13:11:38 -04:00
CONTRIBUTORS.markdown Adds my name to the contributor list. 2021-11-07 20:24:53 -08:00
CREDITS.md Create CREDITS.md 2020-09-29 13:37:01 -04:00
dev-ui-install.sh Match UI release zip file of unisonLocal.zip 2021-11-29 10:30:22 -05:00
development.markdown add integration-tests note 2021-10-24 08:20:51 +00:00
hie.yaml move many ucm-related modules into unison-cli library component 2021-11-05 00:40:50 -04:00
LICENSE Update and standardize licenses 2021-10-12 13:47:08 -06:00
README.md Update README.md 2021-07-06 15:04:42 -07:00
sql this symlink for haskell-language-server's sake 2021-02-01 21:13:58 -05:00
stack.yaml move package cli -> unison-cli 2021-10-22 23:17:40 -07:00
weeder.dhall pull some weeds 2021-05-06 23:19:11 -06:00

The Unison language

Build Status

Unison is a new programming language, currently under active development. It's a modern, statically-typed purely functional language, similar to Haskell, but with the ability to describe entire distributed systems with a single program. Here's an example of a distributed map-reduce implementation:

-- comments start with `--`
mapReduce loc fn ifEmpty reduce data = match split data with
  Empty          -> ifEmpty
  One a          -> fn a
  Two left right ->
    fl = at loc '(mapReduce loc fn ifEmpty reduce !left)
    fr = at loc '(mapReduce loc fn ifEmpty reduce !right)
    reduce !fl !fr

This function can be either simulated locally (possibly with faults injected for testing purposes), or run atop a distributed pool of compute.

If you'd like to learn more about the project, this Strange Loop talk is a good introduction. You can also follow along with project website or you can also say hello or lurk in the Slack chat.

We are currently alpha testing Unison. If you'd like to participate in alpha testing, you can go to the docs site to get started.

Building using Stack

If these instructions don't work for you or are incomplete, please file an issue.

The build uses Stack. If you don't already have it installed, follow the install instructions for your platform. (Hint: brew update && brew install stack)

$ git clone https://github.com/unisonweb/unison.git
$ cd unison
$ stack --version # we'll want to know this version if you run into trouble
$ stack build && stack exec tests && stack exec unison

To run a local codebase-ui while building from source, you can use the /dev-ui-install.sh script. It will download the latest release of the codebase-ui and put it in the expected location for the unison executable created by stack build. When you start unison, you'll see a url where the codebase-ui is running.

See development.markdown for a list of build commands you'll likely use during development.

Codebase Server

When ucm starts it starts a Codebase web server that is used by the Codebase UI. It selects a random port and a unique token that must be used when starting the UI to correctly connect to the server.

The port, host and token can all be configured by providing environment variables when starting ucm: UCM_PORT, UCM_HOST, and UCM_TOKEN.