unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-13 22:29:35 +03:00
Code Issues Projects Releases Wiki Activity
A friendly programming language from the future
6,468 Commits 430 Branches 91 Tags 137 MiB
Haskell 92.2%
Racket 5.9%
Scheme 1.4%
Nix 0.2%
Vim script 0.1%
Other 0.1%
ab94a23bfc
Go to file
Dan Doel ab94a23bfc Remove some magic numbers in the interpreter 
- Certain functions need to inspect/build data closures directly, and
  they were using fixed numbers rather than computing them from the
  information that determines them.
2020-09-29 21:43:59 -04:00
.github Update pull_request_template.md 2020-05-02 11:53:58 -04:00
contrib Move cabal.project to contrib/ 2020-02-04 08:27:16 -05:00
deps Bump to lts-15.13 2020-05-24 10:20:52 -04:00
docs Adjust adding-builtins documentation 2020-09-25 16:45:46 -04:00
editor-support Correct semantics of "fold" comment 2020-09-20 16:45:17 +01:00
parser-typechecker Remove some magic numbers in the interpreter 2020-09-29 21:43:59 -04:00
scripts Fix scripts/unisonloop.sh. 2019-10-01 20:36:01 +02:00
unison-core Builtin adding tutorial with associated MVar ops 2020-09-03 13:38:09 -04:00
unison-src Transcript updates 2020-09-22 13:31:25 -04:00
yaks/easytest Remove now redundant extensions 2020-07-29 20:30:03 -04:00
.gitignore ignore all .unison stuff in the build dir 2020-02-20 08:26:02 -05:00
.mergify.yml have mergify bot remote "ready-to-merge" label when merging 2020-02-04 11:39:28 -05:00
.travis.yml CI test suite and transcripts with new runtime 2020-09-10 13:24:51 -04:00
config added dev notes document, updated logging defaults 2016-10-06 13:11:38 -04:00
CONTRIBUTORS.markdown Update contributors 2020-09-22 17:15:34 +01:00
CREDITS.md Create CREDITS.md 2020-09-29 13:37:01 -04:00
development.markdown Move cabal.project to contrib/ 2020-02-04 08:27:16 -05:00
hie.yaml Add hie.yaml 2020-07-25 20:08:33 -04:00
LICENSE This calls for a commit 2018-11-07 16:38:04 -05:00
README.md remove --recursive from README.md 2020-05-30 09:55:43 -04:00
stack.yaml update to lts-15.15 2020-06-02 22:14:59 -04:00

README.md

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)
    op !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

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